Types for proofs and programs : international workshop, TYPES'98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers

TYPES '98
Inngår i serie: Lecture notes in computer science (1657)
Bok · Engelsk · c1999
Vis mer