Code: 06794662

Extensional Constructs in Intensional Type Theory

Name: Extensional Constructs in Intensional Type Theory
Brand: Springer London Ltd
SKU: 06794662
Price: 157.93 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

157.93 €

Low in stock at our supplier
Shipping in 13 - 18 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

The Electric State
29.62 € -25 %
Buy
THUNDERBOLTS
13.74 € -26 %
Buy
Invention of the Jewish People
14.35 € -10 %
Buy
Factotum
10.30 € -30 %
Buy
Harry Potter Ravenclaw House Editions Hardback Box Set
151.66 € -27 %
Buy
What to Expect When You're Expecting
21.33 € -28 %
Buy
Understanding Jewellery: The 20th Century
58.74 € -29 %
Buy
Hannibal
11.82 € -10 %
Buy
Romanian Orthodox Church and the Holocaust
46.30 € -2 %
Buy
Piano
15.26 € -11 %
Buy
Akorát, že mi zabili tátu
15.86 € -21 %
Buy
Holmes z Kjóta 9
7.98 € -22 %
Buy
Collected Short Stories of Louis L'Amour, Volume 1
7.27 € -24 %
Buy
After forever
12.02 € -8 %
Buy
What is symmetry in nature?
7.17 € -25 %
Buy
ESQUIRLA DEL AMANECER
22.44 €
Buy
EL REINO DE LOS JAQUINS
3.43 €
Buy
Po zmierzchu
8.18 € -17 %
Buy
The Valley
14.96 € -6 %
Buy
Joan Baez: From Every Stage
15.76 € -25 %
Buy
Meaning in Spinoza's Method
78.96 €
Buy
Oxford Solo Songs: Christmas 14 songs with piano (Paperback)
22.54 € -15 %
Buy
Purification
17.28 € -14 %
Buy
Revolution and Counterrevolution in Europe From 1918 to 1968
14.85 € -2 %
Buy
Office
20.11 € -25 %
Buy
Regards Sur La Chanson de Geste: Mult Ad Apris KI Bien Conuist Ahan
51.76 €
Buy
India & Iran
60.86 € -24 %
Buy
AQA GCSE (9-1) Geography Second Edition
55.60 €
Buy
Supernavigators: Exploring the Wonders of How Animals Find Their Way
15.76 € -9 %
Buy
EU Criminal Law
108.39 €
Buy
What An Art Director Does
27.59 € -4 %
Buy
Weck Den Sieger in Dir!
56.61 € -6 %
Buy
A Legend Of Montrose: A Romance
43.57 € -1 %
Buy
The Return of Sherlock Holmes: The Adventure of the Second Stain
7.67 € -7 %
Buy
Tls
49.84 € -14 %
Buy
Rover Boys on the Great Lakes
16.67 € -1 %
Buy
Katalog der Handschriften der Koeniglichen Bibliothek zu Bamberg
32.95 € -11 %
Buy
A Memoir of Mrs. Henrietta Shuck: The First American Female Missionary to China (1849)
40.84 € -2 %
Buy
Pembrokeshire
8.69 € -14 %
Buy
His Real Life
17.58 € -24 %
Buy
Energy Scenario & Its Management
62.28 € -14 %
Buy
Chosin Star When Hell Froze Over
20.31 €
Buy
Outline of the History of the Literature of the Old Testament
20.52 € -14 %
Buy
La batalla de l'Ebre. Història, paisatge, patrimoni.
25.37 €
Buy
Estudo das caracteristicas fisico-quimicas das areias costeiras
35.68 € -14 %
Buy
Travaux Preparatoires Du Congres General Du Genie Civil, Session Nationale, Mars 1918. Section 5
15.86 € -10 %
Buy
ESTRO IN WATTS - POESIA DA IDADE DO ROCK - 1955-1980
38.41 € -5 %
Buy
Earl of Chesterfield: Letters to His Son V2
49.84 € -2 %
Buy
Kommunikationsmanagement
37.81 € -6 %
Buy
Blood is Thicker Than Water
21.73 € -7 %
Buy
European integration and data protection
16.17 € -14 %
Buy
Little Red Tractor - The Day of the Big Surprise
9.80 € -6 %
Buy
Entrepreneurship, Universities & Resources
145.09 €
Buy
Bristol Football Club (RFU) (Classic Matches)
13.94 € -24 %
Pre-order
Idea of Europe
27.39 € -2 %
Buy
Issues in the Assessment of Bilinguals
44.28 € -9 %
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 382 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.