Extensional Constructs in Intensional Type Theory - Hofmann, Martin
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre211,24 €
Produit Neuf
Ou 52,81 € /mois
- Livraison à 0,01 €
- Livré entre le 23 juillet et le 4 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781447112433_dbm
Nos autres offres
-
111,33 €
Occasion · Bon État
Ou 27,83 € /mois
- Livraison : 25,00 €
- Livré entre le 5 et le 10 août
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 -
211,24 €
Produit Neuf
Ou 52,81 € /mois
- Livraison à 0,01 €
- Livré entre le 23 juillet et le 4 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781447112433_dbm
Voir le détail de l'annonce -
219,74 €
Produit Neuf
Ou 54,94 € /mois
- Livraison : 3,99 €
- Livré entre le 22 et le 28 juillet
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.
-
Dji Osmo 4 : 4k/240fps3activetrack
Neuf dès 85,99 €
-
Anders Petersen, Rome
Occasion dès 65,00 €
-
Gilbert Portanier
Neuf dès 141,34 €
-
Miyoko Ihara - Misao The Big Mama And Fukumaru The Cat
Occasion dès 65,00 €
-
Medieval Military Technology, Second Edition
Neuf dès 62,30 €
-
Cambridge English Proficiency 2 Student's Book With Answers With Audio
Neuf dès 91,64 €
-
Art And Devotion At A Buddhist Temple In The Indian Himalaya
Neuf dès 72,46 €
-
500+ Ukrainian Verbs
Neuf dès 69,18 €
-
English Collocations In Use Intermediate Book With Answers
Neuf dès 58,68 €
-
Liberalism And The Limits Of Justice
Neuf dès 61,74 €
-
Picasso And Portraiture
Occasion dès 64,18 €
-
Georgia O'keeffe
Occasion dès 105,99 €
-
So Hilft Ihnen Die Blutegeltherapie
Neuf dès 71,94 €
-
Girls, Some Boys, And Other Cookies
Occasion dès 127,99 €
-
A First Course In Logic
Neuf dès 129,46 €
Occasion dès 192,99 €
-
Idiomes Et Proverbes - N° 6 - Idiomes Et Proverbes - Anglais-Français, Français-Anglais
Occasion dès 89,90 €
-
Car Racing 1965
2 avis
Neuf dès 109,00 €
-
L'ecole De Paris, 1945-1965: Dictionnaire Des Peintres (Dictionnaires)
2 avis
Occasion dès 147,92 €
-
Merce Cunningham
Occasion dès 70,00 €
-
Karl Blossfeldt
2 avis
Occasion dès 69,00 €
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