Name: Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science)
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
SKU: 12578045
Price: 113 AUD
Availability: InStock

Types for Proofs and Programs (International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science))

By Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus

Types for Proofs and Programs (International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science))

By Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus

$113

View:
Safe Search(?):