Code: 05274455

Typed Lambda Calculi and Applications

Name: Typed Lambda Calculi and Applications
Brand: Springer, Berlin
SKU: 05274455
Price: 51.53 EUR
Availability: InStock
Author: Mariangiola Dezani-Ciancaglini
ISBN: 9783540590484

by Mariangiola Dezani-Ciancaglini, Gordon Plotkin

Language: English
Binding: Paperback
Number of pages: 452
Publisher: Springer, Berlin, 1995
More about this

51.53 €

RRP: 55.80 €

You save 4.27 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

The Bridge Kingdom (Deluxe Edition)
25.21 € -29 %
Buy
Kill Switch
13.91 € -2 %
Buy
Mythographic Color and Discover: Fairy Folklore
14.41 € -29 %
Pre-order
Interior Design Reference & Specification Book updated & revised
20.26 € -24 %
Buy
Angielski w tłumaczeniach Idiomy
13.20 € -11 %
Buy
Bez bahna lotos nevykvete
9.07 € -26 %
Buy
Modrá krev v protinacistickém odboji
10.88 € -24 %
Buy
Plc Logics and Hmi Screens for 4-20 Ma Sensors Automation: A Pratical Approach to Quantities Measurement and Monitoring Using Iec 61131 - 3 Ladder Log
14.92 € -6 %
Buy
Sherlock: A Scandal in Belgravia Part 2
11.09 € -26 %
Buy
Lonely Planet Pocket Barcelona
17.34 €
Buy
Panická porucha
15.02 € -23 %
Buy
Children's Book of Music
18.04 € -25 %
Buy
50 Tecnicas de Mindfullness Para La Ansiedad, La Depresion, El Estres Y El Dolor
15.42 € -10 %
Buy
Tenacious D: The Official Coloring Book
16.03 € -21 %
Buy
COMPACT BOX PLATINUM 2021 ADRENALYN 2020-2021
10.78 €
Buy
Friedrich Schiller: Kabale und Liebe
6.65 € -10 %
Buy
Mozart, Wolfgang Amadeus - Werke für Klavier zu vier Händen
33.17 € -16 %
Buy
Padni komu padni
9.27 € -39 %
Buy
I Can Make You Thin
17.24 € -28 %
Buy
World War II Allied Women's Services
18.04 € -9 %
Buy
Die 'Judendeportationen' aus dem Deutschen Reich von 1941-1945
23.59 € -16 %
Pre-order
Vychytralý plán
9.57 € -33 %
Buy
Destinations. Italy unknown
38.62 €
Buy
Pour rien au monde
17.24 €
Buy
Bartholdi. L'homme qui inventa la liberté
32.17 €
Buy
Benchmarking for Performance Evaluation
102.67 € -7 %
Buy
Discourse and Power
55.47 €
Buy
Vector to Destiny
15.32 € -18 %
Buy
Law, Custom, and the Social Fabric in Medieval Europe
23.49 €
Buy
TOO LATE (LIBRARY EDITION}
22.68 € -27 %
Buy
Zola: Therese Raquin
36.30 €
Buy
Rumble Volume 4: Soul Without Pity
13.40 € -30 %
Buy
Большая книга психологических практик для избавления от тревоги, паники, ВСД и стресса
21.78 € -11 %
Buy
Einfache Strategieentwicklung fur Mittelstand und Kleinunternehmen
9.07 € -10 %
Buy
Love Me, Love My Wife
8.56 € -25 %
Buy
Acting the Right Part
36.30 €
Buy
L'Irritabilite Dans La Serie Animale
15.62 € -3 %
Buy
Ukrajinské leporelo
23.69 € -9 %
Buy
Ich - ein anderer
6.95 € -8 %
Buy
Baroque : sculptures européennes (1600-1750)
42.56 €
Buy
Čierna labuť, biela vrana
29.34 € -16 %
Buy
Lesbian and Bisexual Women's Mental Health
33.07 €
Buy
Not Quite Burned Out, But Crispy Around the Edges: Inspiration, Laughter, and Encouragement for Teachers
36.30 €
Buy
Les dérivés de la morphine utilisés en thérapeutique. Mémoire 2
13 € -1 %
Buy
Santa Claus and the Scepter of Christmas
22.18 €
Buy
Freedom and the Subject of Theory
100.05 € -1 %
Buy
Tradition et dissidence
22.99 €
Buy
nouveau dictionnaire complet du jargon de l'argot ou, Le langage des voleurs devoile
11.69 € -5 %
Buy
PRIZE ESSAYS
37.21 € -1 %
Buy
The Malleus Maleficarum
14.72 € -25 %
Buy
Dancing at Halftime
38.72 €
Buy
Paulino y la joven muerte
23.89 €
Buy
Northbridge Rectory
12.60 € -20 %
Buy
In the Shadows of Paris
17.54 € -24 %
Buy
Affenbande
6.75 € -10 %
Buy
One.
8.06 € -7 %
Buy
Ben et les habiletés sociales : Le harcèlement
19.46 €
Buy
La técnica Alexander: Las posturas del bienestar
12.40 €
Buy
The Einstein Equations and the Large Scale Behavior of Gravitational Fields
144.03 €
Buy
Fortescue's History of the British Army
41.65 € -2 %
Buy
Human Hand
199.20 €
Buy
David Broome, Artist. [A Novel.]
20.77 € -25 %
Buy
Mental Illness Stigma and the Moral and Social Community
124.16 €
Buy
Oath of Deception
23.79 € -1 %
Buy
Space and Its Exploration
111.85 €
Buy
The Importance of Music to Girls
13.40 € -24 %
Buy
Quality of Communication-Based Systems
102.67 € -7 %
Buy
Miss Kraft is Daft!
5.84 € -25 %
Buy
Theft by Finding
25.31 € -26 %
Buy
PRF in Restorative dentistry and Endodontics
48.81 € -14 %
Buy
Brane Worlds and M-theory
32.87 € -14 %
Buy
La mort du temple - tome 1 Secretum templi
11.39 €
Buy
Shape of Things to Come
14.31 € -17 %
Buy
Gauging Learning in Public Sector Organizations
79.67 € -4 %
Buy
Designing the City of People 4.0
143.62 € -7 %
Buy
'Murphy' A Message to Dog Lovers
8.97 € -15 %
Buy
At Last
16.13 € -25 %
Buy
The the Wintermen III: At the End of the World
14.72 € -25 %
Buy
Das Ostfriesische Küstengebiet
22.38 € -11 %
Buy
Notice Genealogique Sur La Famille Cholier de Cibeins, Extraite de l'Histoire de Dombes
13 € -1 %
Buy
Prime Ministers and Whitehall 1960-74
172.27 €
Buy
Calvinism, Reform and the Absolutist State in Elizabethan Ireland
224.01 €
Buy
The Girl from the Stars
10.58 € -7 %
Buy
Memoirs, And Select Remains, Of Charles Pond
22.79 € -2 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Typed Lambda Calculi and Applications

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science Mathematical theory of computation

51.53 €

Full title: Typed Lambda Calculi and Applications
Subtitle: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995. Proceedings
Author: Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Language: English
Binding: Paperback
Number of pages: 452
EAN: 9783540590484
ISBN: 354059048X
ID: 05274455
Publisher: Springer, Berlin
Weight: 594 g
Dimensions: 234 × 156 × 23 mm
Published: 1995