J. H. Geuvers
2 published titles
Selected papers on Automath
(Contributor)
1 edition
- ISBN: 0444898220
- Elsevier
- 1994
- Details
Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002 : selected papers
(Contributor)
1 edition
- ISBN: 354014031X
- Springer
- 2003
- Details
