Code: 05274389

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer, Berlin
SKU: 05274389
Price: 51.54 EUR
Availability: InStock
Author: Henk Barendregt
ISBN: 9783540580850

by Henk Barendregt, Tobias Nipkow

Language: English
Binding: Paperback
Number of pages: 395
Publisher: Springer, Berlin, 1994
More about this

51.54 €

RRP: 55.81 €

You save 4.27 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

The Count of Monte Cristo
19.06 € -28 %
Buy
Your Whole Body
14.01 € -7 %
Buy
A Rose Veiled in Black: Art and Arcana of Our Lady Babalon
21.58 € -25 %
Buy
Utopia
6.35 € -19 %
Buy
To Be Read at Dusk
3.42 € -30 %
Buy
Lambda Calculus. Its Syntax and Semantics
29.75 € -10 %
Buy
Hiszpański. Ćwiczenia tematyczne dla początkujących
9.68 € -11 %
Buy
Truth and Other Enigmas
57.80 €
Buy
Finnegans Wake
11.39 € -34 %
Buy
Fairies
12.90 € -23 %
Buy
Ama
21.58 € -25 %
Buy
Glacial Geology And The Pleistocene Epoch
44.18 € -10 %
Buy
Lambda Calculus with Types
104.21 €
Buy
Mothers of The Nation The Ambiguous Role of Nazi Women in The Third Reich
6.75 €
Buy
The Ragpicker's Dream
10.68 € -18 %
Buy
Handbook of Clinical Adult Genetics and Genomics
172.61 € -10 %
Buy
Playtime: Starter: Teacher's Book
30.86 € -6 %
Buy
Golem
27.53 €
Buy
Fundamentos físicos de la edificación
44.58 €
Buy
La Revista Moderna, Volumes 1-2...
37.22 € -1 %
Buy
Salud Mental en niños con LLA
35.60 € -14 %
Buy
London's Underworld
11.69 € -14 %
Buy
Bakuman - Tome 13
10.58 €
Buy
50 Best Sights in Astronomy, and How to See Them
14.72 € -25 %
Buy
Climate Time Series Analysis
197.93 €
Buy
Companion to Crime, Harm and Victimisation
45.49 €
Buy
Urban and Regional Planning Reader
116.21 €
Buy
Out of the Dark
11.79 € -25 %
Buy
CRÓNICAS DE LOS SAMURÁIS
29.45 €
Buy
Über Leben
21.88 € -16 %
Buy
Pop-Up
21.18 €
Buy
Politica externa e instituicoes democraticas no governo Lula
49.73 € -14 %
Buy
Biotechnology Entrepreneurship Bootcamp
56.89 € -10 %
Buy
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971
18.25 € -7 %
Buy
Räum auf!: Kinder - Erwachsene - Haushalt - Wohnung - Aufräumen - Ausräumen - Ordnung - Zimmer - Reinigung - Haushaltsbuch
8.36 € -6 %
Buy
Pathogenese und Klinik der Harnsteine
51.74 € -6 %
Buy
History of Bristol, R.I. the Story of the Mount Hope Lands. Illustrated.
29.15 € -10 %
Buy
Mercados laborales locales y riesgo de exclusión en la Región de Murcia
20.47 €
Buy
Toll Road Girls 7
7.56 € -7 %
Buy
How to Start a Home-based Massage Therapy Business
16.13 € -17 %
Buy
Unfreezing the Arctic
42.56 €
Buy
Irreverente
15.73 € -5 %
Buy
History of Modern Morocco
102.39 €
Buy
MOLLERUSSA
11.29 €
Buy
Plant-Parasitic Nematodes of Coffee
153.94 € -7 %
Buy
Guide to Business Information on Russia, the NIS and the Baltic States
95.43 €
Buy
Ost-West-Konflikt aus der Perspektive des Neorealismus
16.13 € -10 %
Buy
Extrait Des Reglemens d'Octobre 1735, Qui Ordonnent La Consignation Des Amendes, Et Le Recouvrement
14.72 € -2 %
Buy
CI Vorrebbe Un Amico
9.78 € -6 %
Buy
Poesia de la Naturaleza y Rural
11.49 € -7 %
Buy
Respiratory System
102.69 € -7 %
Buy
Clinton, New Terrorism and the Origins of the War on Terror
222.44 €
Buy
Management von Netzwerkorganisationen
76.87 € -7 %
Buy
Star Wars X-Wing 2. Edition, TIE-x1-Turbojäger
27.94 €
Pre-order
Dragonboule - Nouvelle Edition - Tome 1
19.46 €
Buy
Testimonies of His Love
13.61 €
Buy
Natur und Kunst als Spiegel der Seele
16.13 € -10 %
Buy
Ngandong Fossil Hominids
21.58 €
Buy
Rocker Devil. Slide und Ellen
11.79 € -10 %
Buy
Songs of Latin America
29.55 €
Buy
Animales del páramo
22.49 €
Buy
Against Distance
10.38 € -15 %
Buy
Coastal Marine Ecosystems of Latin America
205.19 € -7 %
Buy
The Unified Gospels - The Complete Life Of Christ In The World Of The Evangelists
24.61 € -9 %
Buy
Mardi Gras
10.99 € -15 %
Buy
The Mystic Youth Of Jesus
17.44 € -2 %
Buy
Hiawatha Passing
16.84 € -18 %
Buy
Identity of Jesus: Nordic Voices
120.45 €
Buy
Ropajes de La Oscuridad y del Silencio
10.78 €
Buy
Glaces
29.85 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 125 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science Systems analysis & design

51.54 €

Full title: Types for Proofs and Programs
Subtitle: International Workshop, TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993. Selected Papers
Author: Henk Barendregt, Tobias Nipkow
Language: English
Binding: Paperback
Number of pages: 395
EAN: 9783540580850
ISBN: 3540580859
ID: 05274389
Publisher: Springer, Berlin
Weight: 526 g
Dimensions: 233 × 155 × 21 mm
Published: 1994