«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Typed Lambda Calculi and Applications

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

Idioma InglésInglés
Libro Tapa blanda
Libro Typed Lambda Calculi and Applications Mariangiola Dezani-Ciancaglini
Código Libristo: 05274455
Editores Springer, Berlin, noviembre 1994
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculia... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Popular
Angielski w tłumaczeniach Idiomy Andy Edwins / Libro Tapa blanda
common.buy 14.09 €
Die Persönlichkeit bei psychovegetativen Störungen Michael Ermann / Libro Tapa blanda
common.buy 58.09 €
Большая книга психологических практик для избавления от тревоги, паники, ВСД и стресса И.С. Качай / Libro Tapa dura
common.buy 23.99 €
L'Irritabilite Dans La Serie Animale Courtade-D / Libro Tapa blanda
common.buy 17.09 €
COMPACT BOX PLATINUM 2021 ADRENALYN 2020-2021 / Libro binding.
common.buy 10.39 €
Tradition et dissidence Goytisolo Libro Tapa blanda
common.buy 23.09 €
Les dérivés de la morphine utilisés en thérapeutique. Mémoire 2 Albert Mayor / Libro Tapa blanda
common.buy 14.19 €
Baroque : sculptures européennes (1600-1750) Sismann / Libro Tapa blanda
common.buy 42.79 €
Destinations. Italy unknown / Libro Tapa blanda
common.buy 40.99 €
Ben et les habiletés sociales : Le harcèlement LEMARIE / Libro Tapa blanda
common.buy 19.59 €
Ukrajinské leporelo Andrej Bán / Libro Tapa dura
common.buy 26.59 €
Tomek i przyjaciele - Zbior bajek 5 minut przed snem Mattel / Audiolibro MP3
common.buy 2.49 €
Čierna labuť, biela vrana Richard Müller / Libro binding.
common.buy 32.59 €
Pour rien au monde Ken Follett / Libro Tapa blanda
common.buy 17.39 €
Vychytralý plán Susanna Craig / Libro Tapa dura
common.buy 13.29 €
Ours(les) Steve Bloom / Libro Tapa blanda
common.buy 17.39 €
Panická porucha Dana Kamarádová / Libro Tapa blanda
common.buy 19.39 €
Ich - ein anderer Imre Kertesz / Libro Tapa blanda
common.buy 7.69 €
Strafverfolgung in Wirtschaftsstrafsachen Eberhard Kempf / Libro electrónico Adobe ePub DRM
common.buy 85.39 €
Zola: Therese Raquin Emile Zola / Libro Tapa blanda
common.buy 40.29 €
Affenbande / Juego/Juguete Juego
common.buy 7.49 €
nouveau dictionnaire complet du jargon de l'argot ou, Le langage des voleurs devoile Arthur Halbert / Libro Tapa blanda
common.buy 12.89 €
Próximamente
Die 'Judendeportationen' aus dem Deutschen Reich von 1941-1945 Alfred Gottwaldt / Libro Tapa dura
common.buy 26.29 €
Mozart, Wolfgang Amadeus - Werke für Klavier zu vier Händen Wolfgang Amadeus Mozart / Libro Tapa blanda
common.buy 36.99 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Typed Lambda Calculi and Applications
Autor Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1995
Número de páginas 452
EAN 9783540590484
ISBN 354059048X
Código Libristo 05274455
Editores Springer, Berlin
Peso 594
Dimensiones 156 x 234 x 23

Categorías

Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Programación informática/desarrollo de software
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Designing the City of People 4.0 Dario Costi / Libro Tapa blanda
common.buy 157.89 €
Quality of Communication-Based Systems Günter Hommel / Libro Tapa blanda
common.buy 112.79 €
The Malleus Maleficarum James Sprenger / Libro Tapa blanda
common.buy 16.49 €
TOO LATE (LIBRARY EDITION} HOOVER COLLEEEN / Libro Tapa dura
common.buy 25.59 €
Dancing at Halftime Carol Spindel / Libro Tapa blanda
common.buy 41.89 €
PRIZE ESSAYS HARRIET MARTINEAU / Libro Tapa dura
common.buy 40.69 €
Santa Claus and the Scepter of Christmas Holt Clarke / Libro Tapa dura
common.buy 23.99 €
Children's Book of Music DK / Libro Tapa dura
common.buy 19.59 €
Tenacious D: The Official Coloring Book Juan Riera / Libro Tapa blanda
common.buy 17.79 €
Theft by Finding David Sedaris / Audio CD de audio
common.buy 28.49 €
Not Quite Burned Out, But Crispy Around the Edges: Inspiration, Laughter, and Encouragement for Teachers Sharon M. Draper / Libro Tapa blanda
common.buy 39.29 €
The Importance of Music to Girls Lavinia Greenlaw / Libro Tapa blanda
common.buy 14.99 €
In the Shadows of Paris Claude Izner / Libro Tapa blanda
common.buy 19.69 €
At Last Edward St Aubyn / Libro Tapa blanda
common.buy 18.09 €
Law, Custom, and the Social Fabric in Medieval Europe Bernard S. Bachrach / Libro Tapa dura
common.buy 25.29 €
Vector to Destiny George W. Kohn / Libro Tapa blanda
common.buy 17.09 €
Love Me, Love My Wife Charles Erlandson / Libro Tapa blanda
common.buy 9.59 €
Sherlock: A Scandal in Belgravia Part 2 Steven Moffat / Libro Tapa blanda
common.buy 12.49 €
The the Wintermen III: At the End of the World Brit Griffin / Libro Tapa blanda
common.buy 16.49 €
The Girl from the Stars James J. Caterino / Libro Tapa blanda
common.buy 11.59 €
Lonely Planet Pocket Barcelona Lonely planet eng / Libro Tapa blanda
common.buy 17.49 €
Mental Illness Stigma and the Moral and Social Community Abigail Gosselin / Libro Tapa dura
common.buy 137.89 €
PRF in Restorative dentistry and Endodontics Tony Jose Anil Tomer / Libro Tapa blanda
common.buy 54.09 €
Freedom and the Subject of Theory Colin Davis / Libro Tapa dura
common.buy 109.29 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?