Bernhard Reus

Types for Proofs and Programs: International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers

1999 · ENGLISH · PDF

View details →