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

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

Price
Íkr 6,919
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 15 - 23

Our customers say:

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

Not rated yet

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
Language German  
Editor Altenkirch, Thorsten
Editor Naraschewski, Wolfgang
Editor Reus, Bernhard

Mere med samme udgiver

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