Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Typed Lambda Calculi and Applications

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

Langue AnglaisAnglais
Livre Livre de poche
Livre Typed Lambda Calculi and Applications Samson Abramsky
Code Libristo: 01563428
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, avril 2001
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda C... Description détaillée
? points 132 b
53.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Kaskaden Eliot Weinberger / Livre Livre de poche
common.buy 21.69 €
Młokos Fiodor Dostojewski / Livre Livre relié
common.buy 13.89 €
Der Todesstrahl Daniel Clowes / Livre Livre relié
common.buy 21.69 €
Regression, 1 Blu-ray Alejandro Amenábar / Video Blu-ray
common.buy 13.59 €
Účtovné predpisy 2024 / Livre Livre de poche
common.buy 5.59 €
Zebra źrebię / Jeu/jouet Jouet
common.buy 7.89 €
Erstellung eines Webshops unter Verwendung des Content Management Systems Joomla! Karsten Oltrogge / Livre Livre de poche
common.buy 27.95 €
THIRTY FIVE MELODIOUS TECHNICAL EXERCISES SAXOPHONE DOMENICO GATTI Livre binding.
common.buy 35.29 €
MODELOS Y HERRAMIENTAS DE DECISION JOAQUIN BAUTISTA VALHONDO / Livre Livre de poche
common.buy 49.79 €
Familiengründung mit Samenspende Petra Thorn / Livre Livre de poche
common.buy 46.99 €
EL JARDÍN DE ORIGAMI MARK BOLITHO / Livre Livre relié
common.buy 8.39 €
Anja und das Reitinternat - Auf gut Glück Feli Fritsch / Livre Livre de poche
common.buy 12.49 €
Bildungsgrundsätze Kinder Ministerium für Familie / Livre Livre de poche
common.buy 22.79 €
Taoteking Laozi / Livre Livre de poche
common.buy 12.49 €
Déficit público José Ortega Cruz / Livre Livre de poche
common.buy 73.59 €

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.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Typed Lambda Calculi and Applications
Auteur Samson Abramsky
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2001
Nombre de pages 436
EAN 9783540419600
ISBN 3540419608
Code Libristo 01563428
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 682
Dimensions 155 x 233 x 25

Catégories

Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
Mathématiques et sciences > Mathématiques > Calcul et analyse mathématique
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

The Reader Bernhard Schlink / Livre Livre de poche
common.buy 14.09 €
Single Semiconductor Quantum Dots Peter Michler / Livre Livre relié
common.buy 214.29 €
Just-in-Time Systems Roger Rios / Livre Livre de poche
common.buy 160.89 €
Logical Pluralism and Logical Consequence Erik Stei / Livre Livre de poche
common.buy 32.29 €
Top
Reference Barbara Abbott / Livre Livre de poche
common.buy 62.99 €
Early Hellenistic Peloponnese Graham Shipley / Livre Livre relié
common.buy 149.29 €
FAA Standards for Airport Sign Systems D Federal Aviation Administration (Faa) / Livre Livre de poche
common.buy 16.89 €
Improve your sight-reading! A piece a week Piano Grade 1 Paul Harris / Articles imprimés Partitions
common.buy 9.09 €
Latinas/os on the East Coast Yolanda Medina / Livre Livre de poche
common.buy 65.99 €
Kingdom of Strangers Zoe Ferraris / Livre Livre de poche
common.buy 19.59 €
Top
Programming in Haskell Graham Hutton / Livre Livre de poche
common.buy 45.59 €
Life and her children Arabella Burton Buckley / Livre Livre de poche
common.buy 24.29 €
Provence & Languedoc Travel Guide - Attractions, Eating, Drinking, Shopping & Places To Stay Brendan Kavanagh / Livre Livre de poche
common.buy 15.39 €
The Church And The Changing Order Shailer Mathews / Livre Livre de poche
common.buy 33.69 €
The Beauty's Beast E D Walker / Livre Livre de poche
common.buy 16.39 €
I'm a Happy Hugglewug Niamh Sharkey / Livre Livre relié
common.buy 7.19 €
Arms and the Man Bernard Shaw / Livre Livre de poche
common.buy 6.99 €
Interdisciplinary Perspectives on Math Cognition Marcel Danesi / Livre Livre relié
common.buy 117.99 €
Catalogue of Manuscript Music in the British Museum V1: Sacred Vocal Music (1906) Augustus Hughes-Hughes / Livre Livre de poche
common.buy 49.49 €
Greek Religion: Volume 46 Bremmer / Livre Livre de poche
common.buy 29.19 €
Paper Doll Color, Cut, Play Little Princess: Coloring book for kids - Princess paper dolls Art in Wonderland / Livre Livre de poche
common.buy 8.89 €
My Little Pony: Meet the Ponies of Maretime Bay Hasbro / Livre Livre de poche
common.buy 5.79 €
The Practice of Feeling Good: How to Upgrade Your Thinking and Live a Feel-Good Life Shannon Buritz / Livre Livre de poche
common.buy 15.39 €
The Animals of Farthing Wood Colin Dann / Livre Livre de poche
common.buy 9.19 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo