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 11.49 €
phone Contact phoneHow to shop

Typed Lambda Calculi and Applications

Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995. Proceedings

Language EnglishEnglish
Book Paperback
Book Typed Lambda Calculi and Applications Mariangiola Dezani-Ciancaglini
Libristo code: 05274455
Publishers Springer, Berlin, November 1994
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculia... Full description
? points 141 b
58.57 €
Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns

Customers also purchased

Top
Angielski w tłumaczeniach Idiomy Andy Edwins / Book Paperback
common.buy 13.27 €
Die Persönlichkeit bei psychovegetativen Störungen Michael Ermann / Book Paperback
common.buy 69.41 €
Большая книга психологических практик для избавления от тревоги, паники, ВСД и стресса И.С. Качай / Book Hardback
common.buy 21.88 €
L'Irritabilite Dans La Serie Animale Courtade-D / Book Paperback
common.buy 16.51 €
COMPACT BOX PLATINUM 2021 ADRENALYN 2020-2021 / Book binding.
common.buy 10.83 €
Tradition et dissidence Goytisolo Book Paperback
common.buy 23.00 €
Les dérivés de la morphine utilisés en thérapeutique. Mémoire 2 Albert Mayor / Book Paperback
common.buy 13.67 €
Baroque : sculptures européennes (1600-1750) Sismann / Book Paperback
common.buy 42.66 €
Destinations. Italy unknown / Book Paperback
common.buy 38.81 €
Ben et les habiletés sociales : Le harcèlement LEMARIE / Book Paperback
common.buy 19.55 €
Ukrajinské leporelo Andrej Bán / Book Hardback
common.buy 25.12 €
Tomek i przyjaciele - Zbior bajek 5 minut przed snem Mattel / Audiobook MP3
common.buy 2.42 €
Čierna labuť, biela vrana Richard Müller / Book binding.
common.buy 30.60 €
Pour rien au monde Ken Follett / Book Paperback
common.buy 17.22 €
Vychytralý plán Susanna Craig / Book Hardback
common.buy 12.46 €
Ours(les) Steve Bloom / Book Paperback
common.buy 17.32 €
Panická porucha Dana Kamarádová / Book Paperback
common.buy 18.23 €
Strafverfolgung in Wirtschaftsstrafsachen Eberhard Kempf / E-book Adobe ePub DRM
common.buy 80.56 €
Zola: Therese Raquin Emile Zola / Book Paperback
common.buy 38.30 €
Affenbande / Game/Toy Game
common.buy 6.78 €
nouveau dictionnaire complet du jargon de l'argot ou, Le langage des voleurs devoile Arthur Halbert / Book Paperback
common.buy 23.30 €
Coming soon
Die 'Judendeportationen' aus dem Deutschen Reich von 1941-1945 Alfred Gottwaldt / Book Hardback
common.buy 28.77 €
Mozart, Wolfgang Amadeus - Werke für Klavier zu vier Händen Wolfgang Amadeus Mozart / Book Paperback
common.buy 33.33 €
Rationales Management Gonde Dittmer / Book Paperback
common.buy 68.80 €

This volume presents the proceedings of the Second International Conference on Typed Lambda Calculiand Applications, held in Edinburgh, UK in April 1995.The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems.

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 Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Language English
Binding Book - Paperback
Date of issue 1995
Number of pages 452
EAN 9783540590484
ISBN 354059048X
Libristo code 05274455
Publishers Springer, Berlin
Weight 594
Dimensions 156 x 234 x 23

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
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

Designing the City of People 4.0 Dario Costi / Book Paperback
common.buy 154.64 €
Quality of Communication-Based Systems Günter Hommel / Book Paperback
common.buy 114.71 €
The Malleus Maleficarum James Sprenger / Book Paperback
common.buy 15.80 €
TOO LATE (LIBRARY EDITION} HOOVER COLLEEEN / Book Hardback
common.buy 24.31 €
Dancing at Halftime Carol Spindel / Book Paperback
common.buy 40.73 €
PRIZE ESSAYS HARRIET MARTINEAU / Book Hardback
common.buy 39.31 €
Santa Claus and the Scepter of Christmas Holt Clarke / Book Hardback
common.buy 23.30 €
Children's Book of Music DK / Book Hardback
common.buy 18.13 €
Tenacious D: The Official Coloring Book Juan Riera / Book Paperback
common.buy 17.02 €
Theft by Finding David Sedaris / Audio Audio CD
common.buy 27.15 €
Not Quite Burned Out, But Crispy Around the Edges: Inspiration, Laughter, and Encouragement for Teachers Sharon M. Draper / Book Paperback
common.buy 36.47 €
The Importance of Music to Girls Lavinia Greenlaw / Book Paperback
common.buy 14.28 €
In the Shadows of Paris Claude Izner / Book Paperback
common.buy 18.74 €
At Last Edward St Aubyn / Book Paperback
common.buy 17.32 €
Law, Custom, and the Social Fabric in Medieval Europe Bernard S. Bachrach / Book Hardback
common.buy 24.62 €
Vector to Destiny George W. Kohn / Book Paperback
common.buy 16.31 €
Love Me, Love My Wife Charles Erlandson / Book Paperback
common.buy 9.21 €
Sherlock: A Scandal in Belgravia Part 2 Steven Moffat / Book Paperback
common.buy 11.85 €
The the Wintermen III: At the End of the World Brit Griffin / Book Paperback
common.buy 15.80 €
The Girl from the Stars James J. Caterino / Book Paperback
common.buy 11.24 €
Lonely Planet Pocket Barcelona Lonely planet eng / Book Paperback
common.buy 17.42 €
Mental Illness Stigma and the Moral and Social Community Abigail Gosselin / Book Hardback
common.buy 131.03 €
PRF in Restorative dentistry and Endodontics Tony Jose Anil Tomer / Book Paperback
common.buy 49.04 €
Freedom and the Subject of Theory Colin Davis / Book Hardback
common.buy 105.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?