Wolfgang Naraschewski

Identifiers

Open LibraryOL10236833A

Books by Wolfgang Naraschewski

Total count: 1

Types for Proofs and ProgramsInternational Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

Springer London, Limited2003-01-01