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
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Types for Proofs and Programs

International Workshop, TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993. Selected Papers

Language EnglishEnglish
Book Paperback
Book Types for Proofs and Programs Henk Barendregt
Libristo code: 05274389
Publishers Springer, Berlin, November 1993
This volume contains thoroughly refereed and revised full papers selected from the presentations at... Full description
? points 132 b
54.39 €
106.39  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Golem Elvire Murail / Book Paperback
common.buy 28.49 € 55.72 лв
Hiszpański. Ćwiczenia tematyczne dla początkujących Anna Wawrykowicz / Book Paperback
common.buy 10.44 € 20.42 лв
Bakuman - Tome 13 Takeshi Obata / Book Paperback
common.buy 10.75 € 21.03 лв
Glaces Hakim / Book Paperback
common.buy 30.92 € 60.47 лв
Cuaderno de Ortografía Cantada: 6º de primaria. Método ideográfico y audiovisual (enseñanza basada e Álamo Vaquera / Book Spiral bound
common.buy 24.97 € 48.84 лв
Extrait Des Reglemens d'Octobre 1735, Qui Ordonnent La Consignation Des Amendes, Et Le Recouvrement France / Book Paperback
common.buy 15.51 € 30.33 лв
Animales del páramo David Rodríguez / Book Paperback
common.buy 23.63 € 46.21 лв
MOLLERUSSA YEGUAS I GASSO / Book Paperback
common.buy 11.99 € 23.45 лв
Irreverente PILAR MARTIN PEREZ / Book Paperback
common.buy 16.70 € 32.66 лв
Über Leben Reinhold Messner / Book Hardback
common.buy 23.32 € 45.60 лв
CI Vorrebbe Un Amico Mario Boccia / Book Paperback
common.buy 10.34 € 20.22 лв
Ost-West-Konflikt aus der Perspektive des Neorealismus Olaf Borgmeier / Book Paperback
common.buy 17.11 € 33.47 лв
Jean-Claude Juncker Margaretha Kopeinig / E-book Adobe ePub DRM
common.buy 17.32 € 33.87 лв
La Revista Moderna, Volumes 1-2... Martín Aldao / Book Hardback
common.buy 39.19 € 76.65 лв
Dragonboule - Nouvelle Edition - Tome 1 Davy Mourier / Book Paperback
common.buy 20.06 € 39.23 лв
Stadt Hamburg (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 31.85 € 62.29 лв
Rocker Devil. Slide und Ellen Bärbel Muschiol / Book Paperback
common.buy 12.51 € 24.46 лв
Construccion Social de La Ensenanza; Una Aproximacion Antropologica Juan Jesús Velasco Orozco / Book Paperback
common.buy 46.33 € 90.61 лв
Ropajes de La Oscuridad y del Silencio Nelson Torres Pe a / Book Paperback
common.buy 10.54 € 20.62 лв
Pathogenese und Klinik der Harnsteine G. Gasser / Book Paperback
common.buy 54.81 € 107.20 лв
Jim Knopf und die Wilde 13 - Teil 1: Das Meeresleuchten, 2 Audio-CD Michael Ende / Audio Audio CD
common.buy 13.80 € 26.99 лв
Management von Netzwerkorganisationen Jörg Sydow / Book Paperback
common.buy 81.18 € 158.78 лв
Natur und Kunst als Spiegel der Seele Peter W. Schatt / Book Paperback
common.buy 17.11 € 33.47 лв
Mercados laborales locales y riesgo de exclusión en la Región de Murcia Antonio . . . [et al. ] Losa Carmona / Book Paperback
common.buy 21.56 € 42.16 лв

This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993.As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers.

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 Henk Barendregt, Tobias Nipkow
Language English
Binding Book - Paperback
Date of issue 1994
Number of pages 395
EAN 9783540580850
ISBN 3540580859
Libristo code 05274389
Publishers Springer, Berlin
Weight 526
Dimensions 155 x 233 x 21

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
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

Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Book Paperback
common.buy 31.49 € 61.58 лв
Lambda Calculus with Types Henk Barendregt / Book Hardback
common.buy 109.52 € 214.20 лв
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 Henk Barendregt / Book Paperback
common.buy 19.28 € 37.71 лв
Unfreezing the Arctic Andrew Stuhl / Book Hardback
common.buy 46.28 € 90.51 лв
Mardi Gras Rebecca Pettiford / Book Hardback
common.buy 11.68 € 22.85 лв
Biotechnology Entrepreneurship Bootcamp Arthur A. Boni / Book Paperback
common.buy 60.19 € 117.71 лв
Against Distance Peter Makuck / Book Paperback
common.buy 11.06 € 21.63 лв
The Unified Gospels - The Complete Life Of Christ In The World Of The Evangelists John W. Lea / Book Paperback
common.buy 26.01 € 50.86 лв
All Things New 2015 - 2016 Wayne Fowler / Book Hardback
common.buy 34.85 € 68.16 лв
Pop-Up Robert Wernli / Book Paperback
common.buy 20.94 € 40.95 лв
Clinton, New Terrorism and the Origins of the War on Terror Chin-Kuei Tsui / Book Hardback
common.buy 251.67 € 492.23 лв
Top
To Be Read at Dusk Charles Dickens / Book Paperback
common.buy 4.80 € 9.40 лв
Drillmaster's Platoon/Flight & Drill Team Coach's Field Manual John Marshall / Book Paperback
common.buy 31.02 € 60.67 лв
Dan the Rescue Man Rachelle Hawes / Book Paperback
common.buy 13.23 € 25.88 лв
Testimonies of His Love Lisa N Aldridge - Jones / Book Paperback
common.buy 13.96 € 27.30 лв
The Mystic Youth Of Jesus Yogi Ramacharaka / Book Paperback
common.buy 18.40 € 35.99 лв
History of Modern Morocco Susan Gilson Miller / Book Hardback
common.buy 107.60 € 210.46 лв
Civilized America. Volume 2 of 2 Thomas Colley Grattan / Book Paperback
common.buy 27.87 € 54.50 лв
Top
A Rose Veiled in Black: Art and Arcana of Our Lady Babalon Robert Fitzgerald / Book Paperback
common.buy 23.11 € 45.20 лв
Ama Betty Hallock / Book Hardback
common.buy 23.11 € 45.20 лв
Hiawatha Passing JEFF HAGEN / Book Paperback
common.buy 17.94 € 35.08 лв
Out of the Dark Gregg Hurwitz / Book Paperback
common.buy 12.61 € 24.67 лв
Handbook of Clinical Adult Genetics and Genomics Shweta Dhar / Book Paperback
common.buy 175.45 € 343.15 лв
Toll Road Girls 7 J Ware / Book Paperback
common.buy 8.01 € 15.67 лв

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?