Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €
phone Contacto phoneComo comprar

Typed Lambda Calculi and Applications

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

Língua InglêsInglês
Livro Capa mole
Livro Typed Lambda Calculi and Applications Mariangiola Dezani-Ciancaglini
Código Libristo: 05274455
Editoras Springer, Berlin, novembro 1994
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculia... Descrição completa
? points 111 b
46.07 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Principal
Angielski w tłumaczeniach Idiomy Andy Edwins / Livro Capa mole
common.buy 10.22 €
Die Persönlichkeit bei psychovegetativen Störungen Michael Ermann / Livro Capa mole
common.buy 56.00 €
Большая книга психологических практик для избавления от тревоги, паники, ВСД и стресса И.С. Качай / Livro Livro de capa dura
common.buy 20.55 €
L'Irritabilite Dans La Serie Animale Courtade-D / Livro Capa mole
common.buy 14.07 €
COMPACT BOX PLATINUM 2021 ADRENALYN 2020-2021 / Livro binding.
common.buy 9.00 €
Tradition et dissidence Goytisolo Livro Capa mole
common.buy 19.03 €
Les dérivés de la morphine utilisés en thérapeutique. Mémoire 2 Albert Mayor / Livro Capa mole
common.buy 11.64 €
Baroque : sculptures européennes (1600-1750) Sismann / Livro Capa mole
common.buy 35.24 €
Destinations. Italy unknown / Livro Capa mole
common.buy 30.98 €
Ben et les habiletés sociales : Le harcèlement LEMARIE / Livro Capa mole
common.buy 16.09 €
Ukrajinské leporelo Andrej Bán / Livro Livro de capa dura
common.buy 22.37 €
Tomek i przyjaciele - Zbior bajek 5 minut przed snem Mattel / Audiolivro MP3
common.buy 2.02 €
Čierna labuť, biela vrana Richard Müller / Livro binding.
common.buy 27.74 €
Pour rien au monde Ken Follett / Livro Capa mole
common.buy 14.27 €
Vychytralý plán Susanna Craig / Livro Livro de capa dura
common.buy 9.61 €
Ours(les) Steve Bloom / Livro Capa mole
common.buy 14.27 €
Panická porucha Dana Kamarádová / Livro Capa mole
common.buy 14.27 €
Ich - ein anderer Imre Kertesz / Livro Capa mole
common.buy 6.07 €
Strafverfolgung in Wirtschaftsstrafsachen Eberhard Kempf / E-book Adobe ePub DRM
common.buy 67.65 €
Zola: Therese Raquin Emile Zola / Livro Capa mole
common.buy 32.81 €
Affenbande / Jogo/brinquedo Jogo
common.buy 6.07 €
nouveau dictionnaire complet du jargon de l'argot ou, Le langage des voleurs devoile Arthur Halbert / Livro Capa mole
common.buy 10.32 €
Em breve
Die 'Judendeportationen' aus dem Deutschen Reich von 1941-1945 Alfred Gottwaldt / Livro Livro de capa dura
common.buy 20.75 €
Mozart, Wolfgang Amadeus - Werke für Klavier zu vier Händen Wolfgang Amadeus Mozart / Livro Capa mole
common.buy 29.16 €

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.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Typed Lambda Calculi and Applications
Autor Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 1995
Número de páginas 452
EAN 9783540590484
ISBN 354059048X
Código Libristo 05274455
Editoras Springer, Berlin
Peso 594
Dimensões 156 x 234 x 23

Categorias

Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Programação & engenharia informática
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Designing the City of People 4.0 Dario Costi / Livro Capa mole
common.buy 128.62 €
Quality of Communication-Based Systems Günter Hommel / Livro Capa mole
common.buy 91.95 €
The Malleus Maleficarum James Sprenger / Livro Capa mole
common.buy 12.85 €
TOO LATE (LIBRARY EDITION} HOOVER COLLEEEN / Livro Livro de capa dura
common.buy 19.64 €
Dancing at Halftime Carol Spindel / Livro Capa mole
common.buy 35.54 €
PRIZE ESSAYS HARRIET MARTINEAU / Livro Livro de capa dura
common.buy 33.51 €
Santa Claus and the Scepter of Christmas Holt Clarke / Livro Livro de capa dura
common.buy 20.35 €
Children's Book of Music DK / Livro Livro de capa dura
common.buy 15.69 €
Tenacious D: The Official Coloring Book Juan Riera / Livro Capa mole
common.buy 13.97 €
Theft by Finding David Sedaris / Áudio CD de áudio
common.buy 21.97 €
Not Quite Burned Out, But Crispy Around the Edges: Inspiration, Laughter, and Encouragement for Teachers Sharon M. Draper / Livro Capa mole
common.buy 33.21 €
The Importance of Music to Girls Lavinia Greenlaw / Livro Capa mole
common.buy 11.64 €
In the Shadows of Paris Claude Izner / Livro Capa mole
common.buy 15.28 €
At Last Edward St Aubyn / Livro Capa mole
common.buy 14.07 €
Law, Custom, and the Social Fabric in Medieval Europe Bernard S. Bachrach / Livro Livro de capa dura
common.buy 21.56 €
Vector to Destiny George W. Kohn / Livro Capa mole
common.buy 13.56 €
Love Me, Love My Wife Charles Erlandson / Livro Capa mole
common.buy 7.48 €
Sherlock: A Scandal in Belgravia Part 2 Steven Moffat / Livro Capa mole
common.buy 9.61 €
The the Wintermen III: At the End of the World Brit Griffin / Livro Capa mole
common.buy 12.85 €
The Girl from the Stars James J. Caterino / Livro Capa mole
common.buy 9.51 €
Lonely Planet Pocket Barcelona Lonely planet eng / Livro Capa mole
common.buy 14.37 €
Em breve
Mental Illness Stigma and the Moral and Social Community Abigail Gosselin / Livro Livro de capa dura
common.buy 116.87 €
PRF in Restorative dentistry and Endodontics Tony Jose Anil Tomer / Livro Capa mole
common.buy 43.24 €
Freedom and the Subject of Theory Colin Davis / Livro Livro de capa dura
common.buy 90.23 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?