Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 599 p.
ISBN 978-90-6196-213-7
Mathematical centre tracts , 0136
Localisation : Collection 1er étage
analyse linguistique # épistemologie # informatique # intelligence artificielle # langage formel # logique # preuve # résolution de problème
03-06 ; 03A05 ; 03B15 ; 03B45 ; 03B50
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 322 p.
ISBN 978-90-6196-211-3
Mathematical centre tracts , 0135
Localisation : Collection 1er étage
analyse linguistique # épistemologie # informatique # intelligence artificielle # langage formel # logique # preuve # résolution de problème
03-06 ; 03A05 ; 03B15 ; 03B45 ; 03B50
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 382 p.
ISBN 978-0-8218-5100-5
Contemporary mathematics , 0092
Localisation : Collection 1er étage
analyse de données electronique # catégories # informatique théorique
03B15 ; 18-06 ; 18D99 ; 68F20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 389 p.
ISBN 978-0-521-55961-4
London mathematical society lecture note series , 0222
Localisation : Collection 1er étage
algèbre et linguistique # calcul résultant pour logique du second ordre # catégorie # complexité et expressivité # décision de prouvabilité de formule de logique linéaire # hypercohérence # héritage avec exception # intéraction stochastisque # logique bilinéaire # modèle stable fortement de logique linéaire # simulation directe de machine de Minsky # structure finie de règle exponentielle # syntaxe et sémantique # théorie de la complexité # théorie de la preuve # théorie des ensembles
algèbre et linguistique # calcul résultant pour logique du second ordre # catégorie # complexité et expressivité # décision de prouvabilité de formule de logique linéaire # hypercohérence # héritage avec exception # intéraction stochastisque # logique bilinéaire # modèle stable fortement de logique linéaire # simulation directe de machine de Minsky # structure finie de règle exponentielle # syntaxe et sémantique # théorie de la complexité # ...
03B15 ; 03Bxx ; 03C45 ; 03D15 ; 68S05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-19-850127-5
Oxford logic guides , 0036
Localisation : Colloque 1er étage (VENI)
analyse constructive # analyse récursive # fondement # logique d'ordre supérieur # mathématique constructive # structure logique # système constructif # théorie de la preuve # théorie des types de logique
03-06 ; 03B15 ; 03F50 ; 03F60 ; 03F65
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 295 p.
ISBN 978-4-931469-02-0
Msj memoirs , 0002
Localisation : Colloque 1er étage (TOKY)
arbre de Böhm # calcul lambda # logique # logique d"ordre supérieur # logique linéaire # modèle lambda # preuve mathématique des systèmes constructifs # système d"attribution de type # théorie des types
03B15 ; 03B40 ; 03F05 ; 03F50 ; 68Q05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- viii; 279 p.
ISBN 978-1-4704-1668-3
Contemporary mathematics , 0658
Localisation : Collection 1er étage
logique mathématique # algèbre linéaire # équation aux dérivées partielles # calcul de variations # analyse numérique # relativité
03B15 ; 03F50 ; 15A23 ; 35A22 ; 35B30 ; 35Q35 ; 35R30 ; 49M25 ; 65F15 ; 83E15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Research talks;Algebra;Logic and Foundations;Topology
A system of dependent type theory T gives rise to a natural transformation p : Terms $\to$ Types of presheaves on the category Ctx of contexts, termed a "natural model of T". This map p in turn determines a polynomial endofunctor P : $\widehat{Ctx}$ $\to$ $\widehat{Ctx}$ on the category of all presheaves. It can be seen that P has the structure of a monad just if T has $\Sigma$-types and a terminal type, and that p is itself a P-algebra just if T has $\Pi$-types. I will explain this rather unexpected connection between type theories and polynomial monads, and will welcome any insights from the other participants regarding it.
A system of dependent type theory T gives rise to a natural transformation p : Terms $\to$ Types of presheaves on the category Ctx of contexts, termed a "natural model of T". This map p in turn determines a polynomial endofunctor P : $\widehat{Ctx}$ $\to$ $\widehat{Ctx}$ on the category of all presheaves. It can be seen that P has the structure of a monad just if T has $\Sigma$-types and a terminal type, and that p is itself a P-algebra just if ...
03B15 ; 03G30 ; 03F35 ; 55Pxx ; 55U40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 293 p.
ISBN 978-0-521-24665-1
Cambridge studies in advanced mathematics , 0007
Localisation : Ouvrage RdC (LAMB)
catégorie # logique # logique mathématiques
03B15 ; 03B40 ; 03C35
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 304 p.
ISBN 978-0-12-058536-6
Computer science and applied mathematics
Localisation : Ouvrage RdC (ANDR)
calcul des prédicats # démonstration # logique de premier ordre # logique mathématiques # réfutation
03-XX ; 03B15 ; 03B35 ; 68A40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 378 p.
Princeton mathematical series , 0017
Localisation : Ouvrage RdC (CHUR)
calcul des propositions # calcul fonctionnel du premier ordre # calcul fonctionnel du second ordre # logique mathématique
03-01 ; 03B05 ; 03B10 ; 03B15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 520 p.
ISBN 978-0-7204-2208-5
Studies in logic and the foundations of mathematics , 0065
Localisation : Ouvrage RdC (CURR)
arithmétique combinatoire # fonctionalité # généralité restreinte # généralité universelle # logique combinatoire # système illatif # théorie des types combinatoires
03B15 ; 03B40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 176 p.
ISBN 978-2-225-82091-5
Etudes et recherches en informatique
Localisation : Disparu;Ouvrge RdC (KRIV)
fonction récursive # lambda calcul # logique combinatoire # logique générale # logique mathématique # théorie des types
03-XX ; 03B15 ; 03B40 ; 03Bxx ; 03D20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 212 p.
University mathematics series
Localisation : Ouvrage RdC (ROBB)
arithmétique et syntaxe # calcul propositionnel # logique du premier ordre ou du second ordre # logique mathématique # paradoxe du menteur # théorème d'incomplétude
03-01 ; 03B05 ; 03B10 ; 03B15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 70 p.
Notre Dame Mathematical Lectures , 0008
Localisation : Ouvrage RdC (SKOL)
axiome de Zermelo et Fraenkel # ensemble ordonné # exponentiation des alephs # logique à plusieurs valeurs # mathématique intuitioniste # mathématique opérative de Lorenz # ordinal et aleph # quantificateurs # relativisme de la théorie des ensembles # suite infinie simple # théorie de Cantor # théorie de Quine # théorie des ensembles abstraite # théorie des ensembles prédicative # théorie ramifiée des types
03-03 ; 03B15 ; 03B50 ; 03Exx ; 04-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 674 p.
ISBN 978-0-521-06791-1
Localisation : Ouvrage RdC (WHIT)
arithmétique cardinale # classe # déduction # fonction de vérité # logique mathématique # principe de mathématiques # relation inductive # sélection # théorie des propositions # Whitehead # oeuvres complètes
03B05 ; 03B10 ; 03B15 ; 03B22 ; 03Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-07149-5
Lecture notes in mathematics , 0447
Localisation : Collection 1er étage
2ème preuve de consistance de Gentzen # analyse # introduction de répétition # logique du 2ème ordre # procédure de traduction # système d'ordre supérieur dû à Schütte # système de Schütte à partie positive ou négative # système de tableau # théorie des nombres du 1er ordre # théorie des nombres intuitioniste # élimination de coupure
03-02 ; 03A05 ; 03B15 ; 03C60 ; 03F99
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 248 p.
ISBN 978-2-86601-380-6
Traité des nouvelles technologies
Localisation : Ouvrage RdC (LASS)
calcul informatique # calcul lambda # fonction recursive # fondement de l'informatique # fondement des mathématiques # incomplétude # indécidabilité # logiciel d'enseignement # logique # logique de proposition # logique du premier ordre # logique déductive # machine de Turing
03B05 ; 03B15 ; 03B40 ; 03Bxx ; 03Dxx
... Lire [+]
