Freek Wiedijk
2 published titles
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
The seventeen provers of the world
(Contributor)
1 edition
- ISBN: 9783540307044
- Springer
- 2006
- Details
