Lawrence C. Paulson
5 published titles
Logic and computation : interactive proof with Cambridge LCF
1 edition
- ISBN: 0521346320
- Cambridge University Press
- 1987
- Details
ML for the working programmer
3 editions
- ISBN: 0521422256
- Cambridge University Press
- 1991
- Details
- ISBN: 0521390222
- Cambridge University Press
- 1991
- Details
- ISBN: 052156543X
- Cambridge University Press
- 1996
- Details
Generic automatic proof tools
1 edition
- University of Cambridge, Computer Laboratory
- 1996
- Details
Isabelle/HOL : a proof assistant for higher-order logic
(Contributor)
1 edition
- ISBN: 3540433767
- Springer
- 2002
- Details
Interactive theorem proving : first international conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings
(Contributor)
1 edition
- ISBN: 9783642140518
- Springer
- 2010
- Details
