Typed Lambda Calculi and Applications: 4th International Conference, Tlca'99, L'aquila, Italy, April 7-9, 1999: Proceedings - Lecture Notes in Computer Science - J Y Girard - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540657637 - March 24, 1999
In case cover and title do not match, the title is correct

J Y Girard
Typed Lambda Calculi and Applications: 4th International Conference, Tlca'99, L'aquila, Italy, April 7-9, 1999: Proceedings - Lecture Notes in Computer Science

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 text present the proceedings of the 4th International Conference on Typed Lambda Calculi and Applications. The volume reports research results on aspects of typed Lambda calculi and explores noncommutative logics, type theory, algebraic data types, logical calculi and abstract data types.

404 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 24, 1999
ISBN13 9783540657637
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 404
Dimensions 156 × 234 × 21 mm   ·   576 g
Language German  
Editor Girard, Jean-yves (Centre National De La Recherche Scientifique (Cnrs), Paris)

Mere med samme udgiver

See all of J Y Girard ( e.g. Paperback Book )