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
Contact
How to shop
Help
Delivery
Austrian Post 5.49 €
DPD courier 3.99 €
DPD point 2.99 €
Shopping guide
My account
▸
Empty :-(
0
Types for Proofs and Programs
International Workshop, TYPES '95, Torino, Italy, June 5-8, 1995. Selected Papers
Language
English
English
Book
Paperback
This volume contains a refereed selection of revised full papers chosen from the contributions prese...
Full description
Libristo code: 05274627
?
132 b
132 b
53.79
€
VAT included
In stock at our supplier
Shipping in 5-8 days
Delivery to Austria
Delivery to Austria
30-day return policy
Customers also purchased
/
Paperback
29.89
€
/
Paperback
35.90
€
/
Paperback
15.09
€
/
Paperback
45.19
€
/
Paperback
18.09
€
/
Paperback
46.59
€
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.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Types for Proofs and Programs
Author
Stefano Berardi, Mario Coppo
Language
English
English
Binding
Book - Paperback
Date of issue
1996
Number of pages
298
EAN
9783540617808
ISBN
3540617809
Libristo code
05274627
Publishers
Springer, Berlin
Weight
474
Dimensions
156 x 234 x 16
Categories
Technology, Engineering, Agriculture
>
Electronics & communications engineering
>
Electronics engineering
>
Automatic control engineering
>
Robotics
Computing & Information Technology
>
Computer programming / software engineering
>
Compilers & interpreters
Computing & Information Technology
>
Computer programming / software engineering
>
Programming & scripting languages: general
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
39.69
€
