Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings (Second International Conference on Typed Lambda Calculi and Application - Mariangiola Dezani-ciancaglini - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540590484 - March 17, 1995
In case cover and title do not match, the title is correct

Mariangiola Dezani-ciancaglini
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings (Second International Conference on Typed Lambda Calculi and Application

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20

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 volume of conference papers addresses such issues as the proof theory of type systems, logic and type systems, typed lambda calculi as models of higher-order computation, the semantics of typed systems, proof verification via type systems, and typed term rewriting systems.

452 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 17, 1995
ISBN13 9783540590484
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 452
Dimensions 156 × 234 × 23 mm   ·   639 g
Language German  
Editor Dezani-ciancaglini, Mariangiola
Editor Plotkin, G.

Mere med samme udgiver

See all of Mariangiola Dezani-ciancaglini ( e.g. Paperback Book )