Check order status

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

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer, Berlin
SKU: 05274627
Price: 58.57 EUR
Availability: InStock
Author: Stefano Berardi
ISBN: 9783540617808

International Workshop, TYPES '95, Torino, Italy, June 5-8, 1995. Selected Papers

Stefano Berardi

Mario Coppo

Language

English

Book Paperback

Libristo code: 05274627

Publishers Springer, Berlin, November 1995

This volume contains a refereed selection of revised full papers chosen from the contributions prese... Full description

Libristo code: 05274627

141 b

58.57 €

Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns

Customers also purchased

Ken Laszlo (Deluxe Edition) Ken Laszlo

Audio CD

16.61 €

Caracteres Lu Par Denis Podalydes (Les) Bruyere La

Audio CD

36.88 €

Zadní pokoj Jorn Lier Horst

Hardback

14.48 €

MANAGEMENT DES ENTREPRISES BTS 2E ANNEE POCHETTE REFLEXE LIVRE DU PROFESSEUR 2009 Marie-José Chacon

Paperback

28.97 €

Vive l'Europe ! Bizet Book

Paperback

16.81 €

Pan Bůh a paní Bohová mají krizi Ivan Lupták

Paperback

12.96 €

Würfelspiel: Kriss Kross - Wer erreicht die höchste Punktzahl? Reiner Knizia

Game

13.57 €

AUTOFAGIA VENTURA MEDINA

Paperback

26.04 €

Eine wirtschaftliche Analyse der Umweltauswirkungen der Viehweide Onon Bayasgalan

Paperback

40.63 €

Brainstorming Andrea Windolph

Paperback

9.01 €

Weidenrute und Schwert Gerwalt Richardson

Paperback

14.08 €

Leiden unsers Herren Jesu Christi Johannes Brassart

Paperback

29.18 €

Inventaire Des Meubles Et Titres de Jean-Hector de Fay, Marquis de la Tour-Maubourg, Marechal CHARREYRE-A

Paperback

14.58 €

Ayudas públicas y libre competencia en el sector audiovisual Sara Medina González

Paperback

43.97 €

Ludwig II. Christine Tauber

Hardback

10.83 €

Oeuvres Choisies de M. Eugene Sue. Fernand Duplessis, Memoires d'Un Mari Eugene Sue

Paperback

17.42 €

Artesanias María Leonor Aguilar García

Paperback

30.09 €

Musikgeschichte(n) HANS BA LER

binding.

34.35 €

Impacto economico de la inocuidad en el sector agroexportador Alejandro Vaquero Vera

Paperback

50.97 €

Die Herren von Greifenklau Karl May

Hardback

28.67 €

This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995.Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey for the area of type theory.