R. P. Nederpelt
4 published titles
Selected papers on Automath
(Contributor)
1 edition
- ISBN: 0444898220
- Elsevier
- 1994
- Details
A modern perspective on type theory : from its origins until today
(Contributor)
1 edition
- ISBN: 1402023359
- Kluwer Academic
- 2004
- Details
Logical reasoning : a first course
1 edition
- ISBN: 095430067x
- King's College Publications
- 2004
- Details
Type theory and formal proof : an introduction
1 edition
- ISBN: 9781107036505
- Cambridge University Press
- 2014
- Details
