Types for Proofs and Programs: International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers - Lecture Notes in Computer Science - T Altenkirch - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540665373 - September 22, 1999
In case cover and title do not match, the title is correct

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

T Altenkirch

Price
A$ 95.99

Ordered from remote warehouse

Expected delivery Oct 18 - Nov 1

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

This text constitutes the refereed post-workshop proceedings of the International Workshop on Types for Proofs and Programs, TYPES '98. A variety of aspects of type theory and type systems and their relation to proof theory are addressed.

212 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 22, 1999
ISBN13 9783540665373
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 212
Dimensions 156 × 234 × 11 mm   ·   312 g
Editor Altenkirch, Thorsten
Editor Naraschewski, Wolfgang
Editor Reus, Bernhard

See all of T Altenkirch ( e.g. Paperback Book )