Code: 06794662

Extensional Constructs in Intensional Type Theory

Name: Extensional Constructs in Intensional Type Theory
Brand: Springer London Ltd
SKU: 06794662
Price: 142.45 EUR
Availability: InStock
Author: Martin Hofmann
ISBN: 9781447112433

by Martin Hofmann

Language: English
Binding: Paperback
Number of pages: 216
Publisher: Springer London Ltd, 2011
More about this

142.45 €

RRP: 154.34 €

You save 11.89 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

The Electric State
29.40 € -25 %
Buy
Understanding Jewellery: The 20th Century
58.11 € -29 %
Buy
Invention of the Jewish People
14.10 € -27 %
Buy
THUNDERBOLTS
13.60 € -26 %
Buy
Factotum
10.09 € -31 %
Buy
Piano
16.50 € -15 %
Buy
Collected Short Stories of Louis L'Amour, Volume 1
7.19 € -24 %
Buy
Harry Potter Ravenclaw House Editions Hardback Box Set
192.87 € -30 %
Buy
Hannibal
11.69 € -10 %
Buy
In Another World
26.80 € -23 %
Buy
What to Expect When You're Expecting
21.50 € -24 %
Buy
Akorát, že mi zabili tátu
18.80 € -6 %
Buy
Holmes z Kjóta 9
8.69 € -14 %
Buy
Romanian Orthodox Church and the Holocaust
45.81 € -2 %
Buy
After forever
12.60 € -3 %
Buy
What is symmetry in nature?
7.09 € -25 %
Buy
Po zmierzchu
8.19 € -16 %
Buy
ESQUIRLA DEL AMANECER
17 € -22 %
Buy
EL REINO DE LOS JAQUINS
3.89 €
Buy
Young Hollywood Actors: How They Got Started, How They Keep Going: Stories and Advice from Your Favorite Performers
16.40 € -7 %
Buy
Joan Baez: From Every Stage
15.60 € -25 %
Buy
The Valley
14.80 € -6 %
Buy
Meaning in Spinoza's Method
78.12 €
Buy
Purification
15.90 € -20 %
Buy
Revolution and Counterrevolution in Europe From 1918 to 1968
14.70 € -2 %
Buy
Weck Den Sieger in Dir!
56.01 € -6 %
Buy
Office
19.90 € -24 %
Buy
Oxford Solo Songs: Christmas 14 songs with piano (Paperback)
21.20 € -15 %
Buy
A Legend Of Montrose: A Romance
50.31 €
Buy
Supernavigators: Exploring the Wonders of How Animals Find Their Way
16.10 € -10 %
Pre-order
AQA GCSE (9-1) Geography Second Edition
55.01 €
Buy
Regards Sur La Chanson de Geste: Mult Ad Apris KI Bien Conuist Ahan
50.11 €
Buy
EU Criminal Law
103.73 €
Buy
Analiza ?a?cucha warto?ci dla Moringa Oleifera w pó?nocno-zachodniej Nigerii
42.91 € -14 %
Buy
India & Iran
60.11 € -25 %
Buy
Katalog der Handschriften der Koeniglichen Bibliothek zu Bamberg
32.60 € -11 %
Buy
The Return of Sherlock Holmes: The Adventure of the Second Stain
7.59 € -7 %
Buy
What An Art Director Does
27.30 € -4 %
Buy
Energy Scenario & Its Management
61.52 € -14 %
Buy
Tls
49.31 € -14 %
Buy
A Memoir of Mrs. Henrietta Shuck: The First American Female Missionary to China (1849)
40.41 € -2 %
Buy
Issues in the Assessment of Bilinguals
40.81 € -10 %
Buy
Bristol Football Club (RFU) (Classic Matches)
14.70 € -9 %
Buy
Idea of Europe
27.10 € -2 %
Buy
Creating New Medical Ontologies for Image Annotation
51.01 € -7 %
Buy
Blood is Thicker Than Water
21.50 € -7 %
Buy
Pembrokeshire
8.59 € -14 %
Buy
Dancing with my Father
19.10 € -2 %
Buy
Outline of the History of the Literature of the Old Testament
20.30 € -14 %
Buy
Estudo das caracteristicas fisico-quimicas das areias costeiras
35.30 € -14 %
Buy
Rover Boys on the Great Lakes
16.50 € -1 %
Buy
Little Red Tractor - The Day of the Big Surprise
9.69 € -6 %
Buy
His Real Life
17.40 € -24 %
Buy
Chosin Star When Hell Froze Over
17.20 €
Buy
La batalla de l'Ebre. Història, paisatge, patrimoni.
25.10 €
Buy
Travaux Preparatoires Du Congres General Du Genie Civil, Session Nationale, Mars 1918. Section 5
15.70 € -10 %
Buy
ESTRO IN WATTS - POESIA DA IDADE DO ROCK - 1955-1980
38.01 € -5 %
Buy
Entrepreneurship, Universities & Resources
143.05 €
Buy
Pensees et autres maux
8.19 € -14 %
Buy
Jacques und sein Herr
13.50 €
Buy
Earl of Chesterfield: Letters to His Son V2
49.31 € -2 %
Buy
Kommunikationsmanagement
37.41 € -6 %
Buy
Geschichte der narrativen Filmmontage
36.90 € -10 %
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

More about Extensional Constructs in Intensional Type Theory

Book details
Synopsis
Trending among others

You get 349 loyalty points

Book synopsis

Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theories deal with identity types. The book will be of interest particularly to researchers with mainly theoretical interests and implementors of type theory based proof assistants, and also fourth year undergraduates who will find it useful as part of an advanced course on type theory.