Bernhard Reus
2 published titles
Types for proofs and programs : international workshop, TYPES'98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers
(Contributor)
1 edition
- ISBN: 3540665374
- Springer
- 1999
- Details
Denotional semantics for Abadi and Leino's logic of objects
1 edition
- Department of Informatics, University of Sussex
- 2004
- Details
