Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Types for Proofs and Programs

International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

Language EnglishEnglish
Book Paperback
Book Types for Proofs and Programs Paul Callaghan
Libristo code: 01564126
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, February 2002
This book constitutes the thoroughly refereed post-proceedings of the International Workshop of the... Full description
? points 125 b
51.68 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Matemáticas para aprender a pensar : el papel de las creencias en la resolución de problemas M. Luz . . . [et al. ] Callejo / Book Paperback
common.buy 21.74 €
SIEBEN MARCHEN DER GEBRUDER GRIMM Book binding.
common.buy 13.85 €
Energie rinnovabili da biomasse: rischi e opportunità. Coltivazioni, allevamenti, compost, biogas e agro-carburanti: analisi degli impatti ambientali. Giuseppe Zicari / Book Paperback
common.buy 44.90 €

This book constitutes the thoroughly refereed post-proceedings of the International Workshop of the TYPES Working Group, TYPES 2000, held in Durham, UK in December 2000. The 15 revised full papers presented were carefully reviewed and selected during two rounds of refereeing and revision. All current issues on type theory and type systems and their applications to programming, systems design, and proof theory are addressed.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
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 Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
Language English
Binding Book - Paperback
Date of issue 2002
Number of pages 248
EAN 9783540432876
ISBN 3540432876
Libristo code 01564126
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 820
Dimensions 155 x 233 x 15

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Medicine & Nursing > Medicine: general issues
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 address

You might also be interested in

Moomin's Seek and Find Finger-Trail book Tove Jansson / Book Board book
common.buy 9.70 €
Patriot Dreams and Dreams of God C J Henning / Book Paperback
common.buy 6.77 €
Bouquet of Birds 750 Piece Shaped Puzzle Galison / Game/Toy Game
common.buy 16.98 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?