Code: 05274627

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer, Berlin
SKU: 05274627
Price: 61.56 EUR
Availability: InStock

by Stefano Berardi, Mario Coppo

Language: English
Binding: Paperback
Number of pages: 298
Publisher: Springer, Berlin, 1996
More about this

61.56 €

Low in stock at our supplier
Shipping in 10 - 14 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Bones & All
13.64 € -1 %
Buy
Angel Face
18.29 € -13 %
Buy
Spanking at the Girl's Convent School
12.73 €
Buy
AUTOFAGIA
18.69 € -10 %
Buy
Подводная лодка "Акула"
24.25 € -5 %
Buy
Agentin mit Herz. Staffel.3, 5 DVDs
18.19 €
Buy
Religious Institutes and Catholic Culture in 19th- and 20th-Century Europe
64.69 €
Pre-order
Talk Fiction
40.43 €
Buy
Artesanias
33.15 €
Buy
What Did the Biblical Writers Know and When Did They Know it?
24.56 € -19 %
Buy
Musikgeschichte(n)
34.36 €
Buy
What Ministers Know
170.95 €
Buy
Spoken Natural Language Dialog Systems
128.89 €
Buy
Transforming Nursing Education through Problem-Based Learning
74.50 €
Buy
No Boring Stories!
19.10 € -4 %
Buy
Quantum Field Theory And Beyond: Essays In Honor Of Wolfhart Zimmermann - Proceedings Of The Symposium In Honor Of Wolfhart Zimmermann's 80th Birthday
156.19 €
Pre-order
Impacto economico de la inocuidad en el sector agroexportador
55.90 €
Buy
Fundamental Phenomena in the Materials Sciences
61.56 €
Buy
Seeing Angels
30.93 € -4 %
Buy
Elements Kr (36) to Ba (56)
121.41 €
Buy
Charlatans or Saviours?
181.97 € -10 %
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

You get 154 loyalty points

Book synopsis

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.

Book details

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

61.56 €

Full title: Types for Proofs and Programs
Subtitle: International Workshop, TYPES '95, Torino, Italy, June 5-8, 1995. Selected Papers
Author: Stefano Berardi, Mario Coppo
Language: English
Binding: Paperback
Number of pages: 298
EAN: 9783540617808
ISBN: 3540617809
ID: 05274627
Publisher: Springer, Berlin
Weight: 474 g
Dimensions: 234 × 156 × 16 mm
Published: 1996