Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Typed Lambda Calculi and Applications

Name: Typed Lambda Calculi and Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568759
Price: 58.53 EUR
Availability: InStock
Author: Simona Ronchi Della Rocca
ISBN: 9783540732273

8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings

Simona Ronchi Della Rocca

Language

English

Book Paperback

Libristo code: 01568759

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2007

This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda C... Full description

Libristo code: 01568759

141 b

58.53 €

Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

Signification clinique des signaux PPG - Une perspective technique Harikumar Rajaguru

Paperback

35.74 €

AREAS NATURALES PROTEGIDAS DE MEXICO CON DECRETOS

Book

27.03 €

Stand on the arrested Ibn Hajar Al -Asqalani

Adobe ePub DRM

19.74 €

Weihnachts-Rätsel

Sheet

4.65 €

Journal des amateurs d'objets d'art et de curiosité Jean-Louis Le Hir

Paperback

33.21 €

Beware of Maadhu Crazy Mohan

Paperback

17.51 €

Expedice příroda: 50 koní a poníků collegium

Cards

9.41 €

Echoes of Ashes and Rain - Die Perfekten Caroline Brinkmann

Paperback

14.47 €

Kooperation von Schule und Familie Bettina König

Paperback

25.61 €

Économétrie appliquée Moulay El Mehdi Falloul

Paperback

54.38 €

Pack Matematiques Balears P4 (3er Trimestre) FRAILE MARTIN

Paperback

10.83 €

Camilo de Lelis, un sanitario con corazón de madre Cosmacini

Paperback

21.36 €

Mirarte y regresar Molinari

Paperback

16.50 €

Estética y paideía (Hermenéuticas contra la Violencia I) Oñate y Zubía

Paperback

29.97 €

PRINCESSE STELLA - DIAMANT, LE CHEVAL DES GLACES Sarah Kilbride

Hardback

11.33 €

Did I Mention I Love You ? - tome 1 Estelle Maskame

Paperback

22.37 €

Il corsaro nero Salgari Emilio Leggeregiovane

Paperback

15.69 €

Nacer con una pregunta en el corazón (Authentic Living Series) Osho Rajneesh

Paperback

12.95 €

Osteoporosi senza medicine Paolo Giordo

Paperback

16.60 €

La representación política José Pedro Galvao de Sousa

Paperback

27.23 €

Annalen Des St. Bertin Und St. Vaast J. von Jasmund

Paperback

35.74 €

This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, held in Paris, France in June 2007 in conjunction with RTA 2007, the 18th International Conference on Rewriting Techniques and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming.§The 25 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 52 submissions. The papers present original research results that are broadly relevant to the theory and applications of typed calculi and address a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.