Extensional Constructs in Intensional Type Theory - Hofmann, Martin
- Format: Broché Voir le descriptif
207,25 €
Produit Neuf
Ou 51,81 € /mois
- Livraison : 3,99 €
- Livré entre le 21 et le 28 septembre
Nos autres offres
-
111,33 €
Occasion · Bon État
Ou 27,83 € /mois
- Livraison : 25,00 €
- Livré entre le 5 et le 10 octobre
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
Voir le détail de l'annonce -
207,25 €
Produit Neuf
Ou 51,81 € /mois
- Livraison : 3,99 €
- Livré entre le 21 et le 28 septembre
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Extensional Constructs In Intensional Type Theory Format Broché - Livre Informatique
0 avis sur Extensional Constructs In Intensional Type Theory Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Behind Bars: The Definitive Guide To Music Notation
Neuf dès 101,68 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 129,00 €
-
Catafalque
Neuf dès 86,94 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
English Legal System Eighth Edition
Neuf dès 60,59 €
-
Song Book - Intégrale --- Chant, Guitare Ou Piano
Occasion dès 100,00 €
-
Turc Sans Peine Méthode Assimil
Occasion dès 60,25 €
-
Harald Szeemann
Neuf dès 87,99 €
-
The Fourth World Omnibus Vol. 2
Neuf dès 134,88 €
-
Sf2a : Scientific Highlights 2004
Occasion dès 69,00 €
-
The Globalization Of World Politics
Neuf dès 87,03 €
-
Le Corbusier
2 avis
Occasion dès 59,90 €
-
Didactique De L'anglais - Tome 2, La Mise En Oeuvre Pédagogique
Occasion dès 82,63 €
-
Angry Women (Re/Search ; 13)
Occasion dès 113,99 €
-
Geometric Quantization And Quantum Mechanics
Neuf dès 123,61 €
-
The Rainbow
Neuf dès 105,43 €
-
Motor Racing - Reflections Of A Lost Era
Neuf dès 63,37 €
-
Microeconomic Theory
Occasion dès 69,78 €
-
Quantum Mechanics
Occasion dès 65,00 €
-
Advanced Quantum Mechanics
Neuf dès 145,54 €
Produits similaires
Présentation Extensional Constructs In Intensional Type Theory Format Broché
- Livre Informatique
Sommaire:
1. Introduction.- 1.1 Definitional and propositional equality.- 1.2 Extensional constructs.- 1.3 Method.- 1.4 Applications.- 1.5 Overview.- 2. Syntax and semantics of dependent types.- 2.1 Syntax for a core calculus.- 2.2 High-level syntax.- 2.3 Further type formers.- 2.4 Abstract semantics of type theory.- 2.5 Interpreting the syntax.- 2.6 Discussion and related work.- 3. Syntactic properties of propositional equality.- 3.1 Intensional type theory.- 3.2 Extensional type theory.- 3.3 Related work.- 4. Proof irrelevance and subset types.- 4.1 The refinement approach.- 4.2 The deliverables approach.- 4.3 The deliverables model.- 4.4 Model checking with Lego.- 4.5 Type formers in the model D.- 4.6 Subset types.- 4.7 Reinterpretation of the equality judgement.- 4.8 Related work.- 5. Extensionality and quotient types.- 5.1 The setoid model.- 5.2 The groupoid model.- 5.3 A dependent setoid model.- 5.4 Discussion and related work.- 6. Applications.- 6.1 Tarski's fixpoint theorem.- 6.2 Streams in type theory.- 6.3 Category theory in type theory.- 6.4 Encoding of the coproduct type.- 6.5 Some basic constructions with quotient types.- 6.6 ? is co-continuous-intensionally.- 7. Conclusions and further work.- A.1 Extensionality axioms.- A.2 Quotient types.- A.3 Further axioms.- Appendix B. Syntax.- Appendix C. A glossary of type theories.- Appendix D. Index of symbols.
Détails de conformité du produit
Personne responsable dans l'UE