Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Typed Lambda Calculi and Applications

5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings

Language EnglishEnglish
Book Paperback
Book Typed Lambda Calculi and Applications Samson Abramsky
Libristo code: 01563428
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2001
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda C... Full description
? points 125 b
51.68 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Workflow Management Mit Sap(r) Webflow(r) Markus Brahm / Book Paperback
common.buy 61.29 €
Młokos Fiodor Dostojewski / Book Hardback
common.buy 13.14 €
Kaskaden Eliot Weinberger / Book Paperback
common.buy 18.00 €
Familiengründung mit Samenspende Petra Thorn / Book Paperback
common.buy 45.61 €
La cultura a la Universitat de Valencia. Del segle XIX a 1985 Jose Garcelan Munoz / E-book Adobe ePub DRM
common.buy 11.02 €
Top
Všechna moje nej / Calendar/Diary Diary
common.buy 10.81 €
Regression, 1 Blu-ray Alejandro Amenábar / Video Blu-ray
common.buy 12.84 €
Der Todesstrahl Daniel Clowes / Book Hardback
common.buy 20.52 €
Účtovné predpisy 2024 / Book Paperback
common.buy 5.35 €
Erstellung eines Webshops unter Verwendung des Content Management Systems Joomla! Karsten Oltrogge / Book Paperback
common.buy 25.08 €
Manuale di fisica dello stato solido Giampiero Amato / Book Paperback
common.buy 53.30 €
Maud-Evelyn suivi de La Mort du lion Henry James Book Paperback
common.buy 3.53 €
THIRTY FIVE MELODIOUS TECHNICAL EXERCISES SAXOPHONE DOMENICO GATTI Book binding.
common.buy 33.17 €
MODELOS Y HERRAMIENTAS DE DECISION JOAQUIN BAUTISTA VALHONDO / Book Paperback
common.buy 48.65 €
EL JARDÍN DE ORIGAMI MARK BOLITHO / Book Hardback
common.buy 8.08 €
Bildungsgrundsätze Kinder Ministerium für Familie / Book Paperback
common.buy 21.64 €
Zebra źrebię / Game/Toy Toy
common.buy 7.37 €
Anja und das Reitinternat - Auf gut Glück Feli Fritsch / Book Paperback
common.buy 11.72 €
La ciudad flotante 1870 Julio Verne / Book Paperback
common.buy 18.00 €
It's my turn! Sefi Atta / Book Hardback
common.buy 20.42 €
Taoteking Laozi / Book Paperback
common.buy 11.52 €
Déficit público José Ortega Cruz / Book Paperback
common.buy 70.29 €

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Typed Lambda Calculi and Applications
Author Samson Abramsky
Language English
Binding Book - Paperback
Date of issue 2001
Number of pages 436
EAN 9783540419600
ISBN 3540419608
Libristo code 01563428
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 682
Dimensions 155 x 233 x 25

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Calculus & mathematical analysis
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

The Reader Bernhard Schlink / Book Paperback
common.buy 13.54 €
Single Semiconductor Quantum Dots Peter Michler / Book Hardback
common.buy 205.74 €
Just-in-Time Systems Roger Rios / Book Paperback
common.buy 154.36 €
Logical Pluralism and Logical Consequence Erik Stei / Book Paperback
common.buy 31.25 €
Reference Barbara Abbott / Book Paperback
common.buy 80.71 €
Top
Programming in Haskell Graham Hutton / Book Paperback
common.buy 52.59 €
The Beauty's Beast E D Walker / Book Paperback
common.buy 15.77 €
Ascension: The Divine Prerogative Of the Saints Kevin Etta Jr / Book Paperback
common.buy 10.61 €
The Church And The Changing Order Shailer Mathews / Book Paperback
common.buy 32.56 €
Provence & Languedoc Travel Guide - Attractions, Eating, Drinking, Shopping & Places To Stay Brendan Kavanagh / Book Paperback
common.buy 14.76 €
Model Specifications: Concrete Finishing J Paul Guyer / Book Paperback
common.buy 16.68 €
Life and her children Arabella Burton Buckley / Book Paperback
common.buy 23.26 €
Arms and the Man Bernard Shaw / Book Paperback
common.buy 6.77 €
Kingdom of Strangers Zoe Ferraris / Book Paperback
common.buy 18.70 €
I'm a Happy Hugglewug Niamh Sharkey / Book Hardback
common.buy 6.77 €
Latinas/os on the East Coast Yolanda Medina / Book Paperback
common.buy 60.08 €
Improve your sight-reading! A piece a week Piano Grade 1 Paul Harris / Printed items Sheet music
common.buy 10.21 €
Early Hellenistic Peloponnese Graham Shipley / Book Hardback
common.buy 144.34 €
Religion and the New Technologies Noreen Herzfeld / Book Paperback
common.buy 38.63 €
Interdisciplinary Perspectives on Math Cognition Marcel Danesi / Book Hardback
common.buy 113.29 €
Six Short Sons Shifang Zhu / Book Paperback
common.buy 9.70 €
Catalogue of Manuscript Music in the British Museum V1: Sacred Vocal Music (1906) Augustus Hughes-Hughes / Book Paperback
common.buy 47.74 €
Greek Religion: Volume 46 Bremmer / Book Paperback
common.buy 28.21 €
Paper Doll Color, Cut, Play Little Princess: Coloring book for kids - Princess paper dolls Art in Wonderland / Book Paperback
common.buy 8.59 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?