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 '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 125 b
51.59 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

MOLLERUSSA YEGUAS I GASSO / Book Paperback
common.buy 11.40 €
Golem Elvire Murail / Book Paperback
common.buy 27.55 €
Glaces Hakim / Book Paperback
common.buy 29.78 €
Bakuman - Tome 13 Takeshi Obata / Book Paperback
common.buy 10.59 €
Stadt Hamburg (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 29.98 €
Hiszpański. Ćwiczenia tematyczne dla początkujących Anna Wawrykowicz / Book Paperback
common.buy 9.68 €
Animales del páramo David Rodríguez / Book Paperback
common.buy 22.51 €
Irreverente PILAR MARTIN PEREZ / Book Paperback
common.buy 15.74 €
Über Leben Reinhold Messner / Book Hardback
common.buy 21.90 €
CI Vorrebbe Un Amico Mario Boccia / Book Paperback
common.buy 10.29 €
Dragonboule - Nouvelle Edition - Tome 1 Davy Mourier / Book Paperback
common.buy 19.48 €
Ost-West-Konflikt aus der Perspektive des Neorealismus Olaf Borgmeier / Book Paperback
common.buy 16.15 €
Aguas azules para una batalla Fabra / Audiobook MP3
common.buy 9.48 €
Jean-Claude Juncker Margaretha Kopeinig / E-book Adobe ePub DRM
common.buy 16.45 €
La Revista Moderna, Volumes 1-2... Martín Aldao / Book Hardback
common.buy 39.17 €
Rocker Devil. Slide und Ellen Bärbel Muschiol / Book Paperback
common.buy 11.80 €
Pathogenese und Klinik der Harnsteine G. Gasser / Book Paperback
common.buy 51.79 €
Ropajes de La Oscuridad y del Silencio Nelson Torres Pe a / Book Paperback
common.buy 11.30 €
Jim Knopf und die Wilde 13 - Teil 1: Das Meeresleuchten, 2 Audio-CD Michael Ende / Audio Audio CD
common.buy 13.12 €
Management von Netzwerkorganisationen Jörg Sydow / Book Paperback
common.buy 76.93 €
Mercados laborales locales y riesgo de exclusión en la Región de Murcia Antonio . . . [et al. ] Losa Carmona / Book Paperback
common.buy 20.49 €
Natur und Kunst als Spiegel der Seele Peter W. Schatt / Book Paperback
common.buy 16.15 €
Fundamentos físicos de la edificación Blasco Laffón / Book Paperback
common.buy 44.62 €
CRÓNICAS DE LOS SAMURÁIS R. IBARZABAL / Audio Audio CD
common.buy 29.57 €

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.39 €
Lambda Calculus with Types Henk Barendregt / Book Hardback
common.buy 109.34 €
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 Henk Barendregt / Book Paperback
common.buy 19.28 €
Mardi Gras Rebecca Pettiford / Book Hardback
common.buy 11.00 €
Biotechnology Entrepreneurship Bootcamp Arthur A. Boni / Book Paperback
common.buy 60.07 €
Against Distance Peter Makuck / Book Paperback
common.buy 11.30 €
The Unified Gospels - The Complete Life Of Christ In The World Of The Evangelists John W. Lea / Book Paperback
common.buy 25.94 €
The Mystic Youth Of Jesus Yogi Ramacharaka / Book Paperback
common.buy 18.37 €
Unfreezing the Arctic Andrew Stuhl / Book Hardback
common.buy 44.42 €
Pop-Up Robert Wernli / Book Paperback
common.buy 22.30 €
Clinton, New Terrorism and the Origins of the War on Terror Chin-Kuei Tsui / Book Hardback
common.buy 222.63 €
Top
To Be Read at Dusk Charles Dickens / Book Paperback
common.buy 3.63 €
Testimonies of His Love Lisa N Aldridge - Jones / Book Paperback
common.buy 14.33 €
History of Modern Morocco Susan Gilson Miller / Book Hardback
common.buy 107.42 €
All Things New 2015 - 2016 Wayne Fowler / Book Hardback
common.buy 34.72 €
Affordable
A Rose Veiled in Black: Art and Arcana of Our Lady Babalon Robert Fitzgerald / Book Paperback
common.buy 16.15 €
Ama Betty Hallock / Book Hardback
common.buy 24.63 €
Hiawatha Passing JEFF HAGEN / Book Paperback
common.buy 17.86 €
Out of the Dark Gregg Hurwitz / Book Paperback
common.buy 11.80 €
Handbook of Clinical Adult Genetics and Genomics Shweta Dhar / Book Paperback
common.buy 175.07 €
Toll Road Girls 7 J Ware / Book Paperback
common.buy 7.97 €
Top
Your Whole Body Misha Iver / Book Paperback
common.buy 14.83 €
Mad about Shakespeare: From Classroom to Theatre to Emergency Room Jonathan Bate / E-book Adobe ePub DRM
common.buy 9.88 €
Affordable
Mothers of The Nation The Ambiguous Role of Nazi Women in The Third Reich / Book Paperback
common.buy 6.75 €

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?