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 9.99 €
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.23 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

GOGOA Nº 16 2017 / Book Book
common.buy 23.15 €
Le Roman De Brut, Volume 1... Robert Wace / Book Paperback
common.buy 25.76 €
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.21 €
Traite Special de Photographie Villaume / Book Paperback
common.buy 15.53 €
Santé et bien-etre dans votre verre Cinzia Trenchi / Book Hardback
common.buy 17.94 €
SIEBEN MARCHEN DER GEBRUDER GRIMM Book binding.
common.buy 12.52 €
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 24.96 €

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

GERMANIA Kenneth M. Simmons / Book Paperback
common.buy 12.92 €
Top
Moomin's Seek and Find Finger-Trail book Tove Jansson / Book Board book
common.buy 9.62 €
Alphas Diane Rapp / Book Paperback
common.buy 11.62 €
Patriot Dreams and Dreams of God C J Henning / Book Paperback
common.buy 6.71 €
Bouquet of Birds 750 Piece Shaped Puzzle Galison / Game/Toy Game
common.buy 15.23 €
The Transfiguration Subhashini Sumanasekara / Book Paperback
common.buy 12.92 €
New
DK Morocco DK Travel / Book Paperback
common.buy 17.94 €
Wigwam Stories Told By North American Indians Judd and Henook-Makhewe-Kelenaka / Book Paperback
common.buy 17.84 €
Top
500 Owen's Defense Games Bill Wall / Book Paperback
common.buy 10.52 €

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?