Thorsten Altenkirch Books
Types for Proofs and Programs
By
Types for Proofs and Programs: International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected PapersAuthor: Thorsten Altenkirch, Bernhard Reus, Wolfgang Naraschewski Published...
Read More