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

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

Altenkirch, Thorsten(Edited by)Naraschewski, Wolfgang(Edited by)Reus, Bernhard(Edited by)
Part of the Lecture Notes in Computer Science series
See all formats and editions

Read More
Available
£24.99
Add Line Customisation
Usually dispatched within 4 weeks
Add to List
Product Details
Springer
3662163667 / 9783662163665
Paperback
12/03/2014
155 x 235 mm, 316 grams