by Nick Benton, Martin Hofmann, Vivek Nigam
Published in Logical methods in computer science (30.03.2018)

by BENTON, Nick
Published in Lecture notes in computer science (2005)

by Perry, David, Stewart, Neal, Benton, Nick, Robinson, Elizabeth, Yeoman, Sue, Crabbe, Jeff, McQueen, Fiona
Published in Journal of rheumatology (01.02.2005)

by BENTON, NICK, KENNEDY, ANDREW
Published in Journal of functional programming (01.07.2001)

by Benton, Nick
Published in Computer Science Logic (2006)

by Benton, Nick, Hofmann, Martin, Nigam, Vivek
Published in Science of computer programming (01.04.2018)

by Benton, Nick, Hur, Chung-Kil, Kennedy, Andrew J., McBride, Conor
Published in Journal of automated reasoning (01.08.2012)

by HOU (Favonia), KUEN-BANG, BENTON, NICK, HARPER, ROBERT
Published in Journal of functional programming (2017)

by Krishnaswami, N. R., Benton, N.
Published in 2011 IEEE 26th Annual Symposium on Logic in Computer Science (01.06.2011)

by BENTON, NICK
Published in Journal of functional programming (01.07.2005)

by Benton, Nick, Leperchey, Benjamin
Published in Lecture notes in computer science (2005)

by Benton, Nick
Published in Programming Languages and Systems

by Benton, Nick
Published in Proceedings of the 9th international conference on Functional and logic programming (14.04.2008)

by Benton, Nick, Kennedy, Andrew, Hofmann, Martin, Nigam, Vivek
Published in A List of Successes That Can Change the World (2016)

by Benton, Nick
Published in Functional and Logic Programming

by Benton, Nick, Hofmann, Martin, Nigam, Vivek
Published in Typed Lambda Calculi and Applications

by Krishnaswami, Neelakantan R., Benton, Nick
Published in Programming Languages and Systems

by Benton, Nick, Hofmann, Martin, Nigam, Vivek
Published in arXiv.org (29.03.2018)

by Benton, Nick, Kennedy, Andrew, Hofmann, Martin, Beringer, Lennart
Published in Lecture notes in computer science (2006)

by Benton, Nick, Hyland, Martin
Published in Informatique théorique et applications (Imprimé) (01.10.2003)