2021-01-21 | On higher-order cryptography - Raphaëlle Crubillé |
2021-01-07 | The Bicategory of “Open Functors” and its Friends – Luidnel Maignan |
2020-11-26 | A multicategorical approach to mixed linear-non-linear substitution - Christine Tasson |
2020-11-12 | Un groupoïde d’arbres de permutations (suite) |
2020-10-08 | Un groupoïde d’arbres de permutations |
2020-07-02 | Finding Resolution in unexpected places: Girard's formula outside its usual setting |
2020-03-19 | Titre à préciser - Carlos Simpson |
2020-02-13 | Théorie des types pour les oméga-catégories faibles |
2019-12-05 | Titre à préciser - Mauricio Guillermo |
2019-11-28 | Homologie des infini-catégories strictes |
2019-11-21 | On discrete idempotent paths |
2019-10-24 | Quasi-polynomial techniques for parity games and and other problems |
2019-09-12 | Systèmes de réécriture topologiques appliqués aux bases standards et aux algèbres syntaxiques |
2019-07-11 | Rigid species and normal functors over groupoids |
2019-07-04 | Checking correctness for recursive definitions with mixed inductive and coinductive types |
2019-06-20 | Sur la terminaison des programmes probabilistes récursifs d'ordre supérieur |
2019-05-23 | Concurrent Games with side-information |
2019-05-02 | Polarized models of Differential Linear Logic |
2019-04-25 | Probabilistic stable functions on discrete cones are power series |
2019-03-29 | Réalisabilité classique : nouveaux outils et applications |
2019-03-28 | Simplicial into cubical |
2019-03-21 | Quantales MIX *-autonomes et l'ordre faible continu |
2019-03-07 | Combinatoire de l’élimination des coupures de MLL, et une application au développement de Taylor de MELL |
2019-02-28 | Lambda Calculus and Probabilistic Computation |
2019-02-14 | Un modèle de réalisabilité pour une version faible de l'axiome du choix (∀α.AC_α) |
2019-01-17 | Towards a Proof Theory of the Riesz Modal Logic |
2019-01-10 | Titre à préciser - Dimitri Ara |
2018-12-20 | Non idempotent typing, upper bounds and exact length in the lambda and in the lambda-mu-calculus |
2018-12-06 | Matroïdes et leur graphes des bases |
2018-11-29 | Linear Implicative Algebras, towards a BHK interpretation of linear logic |
2018-11-22 | Connecting models of differential linear logic with reloids |
2018-10-11 | Sémantique dénotationnelle de la logique linéaire avec plus petits et plus grands points fixes de types |
2018-10-04 | Revisiting Call-by-value Bohm trees in light of their Taylor expansion |
2018-09-27 | Une application de l’élimination parallèle des coupures en logique linéaire multiplicative sans unités au développement de Taylor des réseaux de preuves |
2018-09-13 | Évaluation sémantique en logique linéaire élémentaire |
2018-09-06 | The algebraic structure of classical realizability models |
2018-07-05 | Extensional and intensional semantic universes: a denotational model of dependent types |
2018-06-28 | Joint et tranches ∞-catégoriques |
2018-06-21 | Higher dimensional rewriting and cubical categories |
2018-06-14 | The true concurrency of Herbrand's theorem |
2018-06-07 | Representing permutations without permutations, or the expressive power of sequence types |
2018-04-26 | Petites catégories comme modèles des types d'homotopie |
2018-04-19 | Logical by-need |
2018-04-05 | Completeness for identity-free Kleene lattices |
2018-03-29 | Les familles de catégories en géométrie et algèbre |
2018-03-08 | Les petites catégories comme modèles des types d'homotopie (2ème partie) |
2018-02-22 | Une preuve assistée par ordinateur de l'irrationalité de zeta(3) |
2018-02-15 | Refutation of Sallé's Longstanding Conjecture |
2018-02-08 | Les petites catégories comme modèles des types d'homotopie |
2018-01-25 | Espèces de structures et λ-calcul différentiel |
2018-01-18 | Préservation de propriétés du modèle de départ en réalisabilité classique |
2018-01-11 | Toute algèbre à division sur les réels est de dimension 1, 2, 4 ou 8 (2ème partie) |
2017-12-21 | Une théorie des modèles de jeux |
2017-12-07 | A realizability notion for MSO over ω |
2017-11-30 | Une promenade entre logiques linéaires classiques et intuitionnistes |
2017-11-23 | Toute algèbre à division sur les réels est de dimension 1, 2, 4 ou 8 |
2017-11-16 | La géométrie cubique de la réécriture de dimension supérieure |
2017-10-19 | Grands cardinaux et compacité |
2017-09-28 | La théorie des ensembles cinquante ans après Cohen |
2017-09-21 | Two type-theoretic approaches to probabilistic termination |
2017-06-22 | Un contre-exemple à la conjecture de Thiagarajan sur les structures d'évènements régulières |
2017-06-15 | Linear approximations, fibrations, intersection types |
2017-05-30 | Théorie homotopique des types et modèles algébriques pour les infinis catégories et groupoïdes |
2017-05-30 | Globular models for weak higher dimensional structures |
2017-05-23 | Syntaxe et sémantique des diagrammes de preuve |
2017-05-04 | Opérateurs de réduction et complétion de systèmes de réécriture linéaires |
2017-03-30 | Shapely monads and analytic functors |
2017-03-23 | The complete unsoundness of coinductive intersection types (and how to escape it) |
2017-03-21 | Logique intuitionniste et stabilisation dans les circuits électroniques |
2017-03-16 | Relational graph models and observational theories |
2017-03-02 | Monotonicity in Logic and Complexity |
2017-02-16 | Proofs of programs and subtyping in PML2 |
2017-02-02 | The geometry of parallelism: probabilistic and quantum effects |
2017-01-26 | Deciding simply-typed equivalence with sums and the empty type |
2016-12-15 | Remarques sur le développement de Taylor des réseaux |
2016-12-14 | Conflict nets: Locally canonical MALL proof nets |
2016-12-14 | Réécriture de diagrammes : applications à la théorie des catégories et à la théorie de la démonstration - Matteo Acclavio |
2016-12-08 | The geometry of logic, algebra and computation |
2016-11-24 | Diagrammes de preuve pour la logique linéaire |
2016-11-17 | Practical Subtyping for System F |
2016-11-03 | Transfinite games and the sequoidal exponential |
2016-10-20 | Effectuses, land of probabilities |
2016-10-06 | Aspects of 2-algebras: operads, bimodules and analytic functors |
2016-09-29 | On some toposes of topological setoids |
2016-09-15 | Classical realizability from relative realizability |
2016-07-07 | Homological computations for term rewriting systems |
2016-06-30 | Une sémantique des jeux parallèle pour PCF |
2016-06-02 | Modèles de réalisabilité classique par réalisateurs universels |
2016-05-26 | An untyped lambda-calculus generalizing Call-By-Name and Call-By-Value |
2016-04-26 | Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system |
2016-04-21 | β-réduction et développement de Taylor |
2016-03-31 | β-réduction et développement de Taylor |
2016-03-24 | From hard work to trickery: a systematic approach of probabilistic rewriting |
2016-03-17 | Caractérisation des comportements de la Ludique |
2016-03-03 | dPAω: a dependently-typed classical arithmetic in finite types which proves dependent choices |
2016-02-25 | Open Call-by-Value |
2016-02-04 | Logics for Weighted Automata and Transducers |
2016-01-28 | Vers un compilateur prouvé d'Esterel vers les circuits |
2016-01-21 | Diagrammes de cordes pour la représentation des réseaux de preuves |
2016-01-07 | Le modèle relationnel est injectif pour MELL |
2015-12-10 | Fixed-point elimination in the Intuitionisitic Propositional Calculus |
2015-12-10 | Typed realizability for first-order classical analysis |
2015-11-26 | Réécriture linéaire et théorème de Squier pour les algèbres |
2015-11-12 | Quillen's theorem A and categories as model for homotopy types |
2015-10-15 | Fibrations of Tree Automata |
2015-10-08 | Utilisation de catégories supérieures pour les résolutions d'algèbres |
2015-09-24 | L'instruction fork et le principe d'induction en réalisabilité classique |
2015-07-09 | Calcul oriental |
2015-07-02 | Realizability games for the specification problem |
2015-06-25 | Un résultat de full-abstraction pour les arbres de Böhm du lambda-calcul probabiliste |
2015-06-18 | Interacting Hopf algebras: the string diagrammatic theory of linear subspaces |
2015-06-04 | Vers l'unification des systèmes de types pour processus mobiles |
2015-05-28 | Treillis et extensions de la logique linéaire additive |
2015-04-23 | Représentation des fonctions continues entre "streams" (& Co.) par des types de données |
2015-03-26 | Bar recursion, sémantique dénotationnelle et réalisabilité classique |
2015-03-19 | Types inductifs stricts et paresseux, du point de vue de la logique linéaire |
2015-02-19 | A semantic study of higher-order model-checking |
2015-01-29 | Unary second-order propositional logic |
2015-01-08 | Topologies faibles et logique linéaire |
2014-12-15 | Une étude combinatoire du lambda-calcul avec ressources uniforme |
2014-10-09 | Théorie homotopique des n-catégories |
2014-10-02 | Théorie homotopique des n-catégories |
2014-06-12 | Programmation logique, unification et espace logarithmique |
2014-04-25 | Sur le groupoïde de géométrie d'une variété équationnelle équilibrée |
2014-04-18 | Canonicity of groupoids laws using parametricity theory |
2014-04-18 | Coordinatizing MV algebras and AF C*-algebras by inverse monoids |
2014-04-09 | Type theory modulo isomorphisms |
2014-03-28 | Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi |
2014-03-18 | Category theory in the Univalent Foundations |
2014-02-10 | Proof theory for dynamic logics |
2014-02-06 | Une analyse philosophique et quelques résultats sur le typage |
2014-01-30 | Espaces cohérents dans un cadre quantitatif |
2014-01-23 | La réduction dans le λ-calcul avec ressources |
2014-01-16 | Semantical analysis of λ-calculus by (Differential) Linear Logic |