R. L. Constable
2 published titles
Implementing mathematics with the Nuprl proof development system
(Contributor)
1 edition
- ISBN: 0134518322
- Prentice-Hall
- 1986
- Details
Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday
(Contributor)
1 edition
- ISBN: 9783642294846
- Springer
- 2012
- Details
