Extensional Constructs in Intensional Type Theory | Martin Hofmann | Mathématiques | 9781447112433 | Librairie Club

Retrait en 2 heures
Assortiment impressionnant
Paiement sécurisé
Toujours un magasin près de chez vous

Retrait gratuit dans votre magasin Club
7.000.0000 titres dans notre catalogue
Payer en toute sécurité
Toujours un magasin près de chez vous

Wishlist

Wishlist

Chercher

Livres

Papeterie

Jeux

Cadeaux

Tous les produits

Ebooks

Carte cadeau Club

Promotions

153,95 €

+ 307 points

Livraison 1 à 2 semaines

Passer une commande en un clic

Payer en toute sécurité

Livraison en Belgique: 3,99 €

Livraison en magasin gratuite

Description

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.

Spécifications

Parties prenantes

Auteur(s) :

Editeur:

Contenu

Nombre de pages :: 216

Langue:: Anglais

Collection :

Caractéristiques

EAN:: 9781447112433

Date de parution :: 22-09-11

Format:: Livre broché

Format numérique:: Trade paperback (VS)

Dimensions :: 156 mm x 234 mm

Poids :: 331 g

Seulement chez Librairie Club

+ 307 points sur votre carte client de Librairie Club

CADEAU

à l'achat d'un Bongo à partir de 39 €

CADEAU

CONCOURS

à l'achat du nouveau Dan Brown

CONCOURS

RÉDUCTION

sur une sélection de papeterie

RÉDUCTION

Standaard Boekhandel

Les avis

Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.