Filtrer vos résultats
- 40
- 8
- 27
- 10
- 8
- 2
- 1
- 1
- 44
- 29
- 1
- 4
- 2
- 1
- 3
- 2
- 5
- 1
- 3
- 2
- 2
- 2
- 1
- 5
- 2
- 4
- 5
- 2
- 1
- 1
- 48
- 29
- 18
- 7
- 4
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 48
- 8
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
48 résultats
|
|
triés par
|
|
An explicit formula for the free exponential modality of linear logicMathematical Structures in Computer Science, 2018, 28 (7), pp.1253-1286. ⟨10.1017/S0960129516000426⟩
Article dans une revue
hal-01992148v1
|
||
|
Functors are Type Refinement Systems42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2015), Jan 2015, Mumbai, India. ⟨10.1145/2676726.2676970⟩
Communication dans un congrès
hal-01096910v1
|
||
|
Categorical models of linear logic revisited2003
Pré-publication, Document de travail
hal-00154229v1
|
||
|
A Generic Normalisation Proof for Pure Type Systems[Research Report] RR-3548, INRIA. 1998
Rapport
inria-00073135v1
|
||
|
Segal condition meets computational effectsLogic in Computer Science (LICS), Jul 2010, Edinburgh, United Kingdom
Communication dans un congrès
hal-00702065v1
|
||
|
Asynchronous games 4 : A fully complete model of propositional linear logicLiCS 2005 -- Logic in Computer Science, Jun 2005, United States. pp.386-395
Communication dans un congrès
hal-00154301v1
|
||
|
A bifibrational reconstruction of Lawvere's presheaf hyperdoctrineIEEE/ACM Logic in Computer Science (LICS) 2016, Jun 2016, New York, United States
Communication dans un congrès
hal-01261955v1
|
||
|
Asynchronous games: innocence without alternation2007
Pré-publication, Document de travail
hal-00152707v1
|
||
|
Concurrent Separation Logic Meets Template GamesProceedings of the Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), Jul 2020, Saarland, Germany
Communication dans un congrès
hal-03103163v1
|
||
|
Ribbon Tensorial LogicThirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), Jul 2018, Oxford, United Kingdom. ⟨10.1145/3209108.3209129⟩
Communication dans un congrès
hal-02436302v1
|
||
|
The categorical contours of the Chomsky-Schützenberger representation theorem2023
Pré-publication, Document de travail
hal-04399404v1
|
||
|
Three approaches to congruenceProceedings of the International Wittgenstein Colloquium, Aug 1997, Kirchberg am Wechsel, pp.623-629
Communication dans un congrès
ijn_00000496v1
|
||
|
Functorial boxes in string diagramsComputer Science Logic 2006, Sep 2006, Szeged, Hungary. pp.1-30, ⟨10.1007/11874683⟩
Communication dans un congrès
hal-00154243v1
|
||
|
Categorical Combinatorics for Innocent StrategiesLogic in Computer Science, Jul 2007, France. pp. 379-388
Communication dans un congrès
hal-00150373v1
|
||
|
An explicit formula for the free exponential modality of linear logicICALP 2009 : 36th International Colloquium on Automata, Languages, and Programming, Jul 2009, Rhodes, Greece. pp.247-260, ⟨10.1007/978-3-642-02930-1_21⟩
Communication dans un congrès
hal-02436316v1
|
||
|
Convolution Products on Double Categories and Categorification of Rule AlgebrasFSCD 2023 - 8th International Conference on Formal Structures for Computation and Deduction, Jul 2023, Rome, Italy. pp.17:1-17:20, ⟨10.4230/LIPIcs.FSCD.2023.17⟩
Communication dans un congrès
hal-04222049v1
|
||
|
Comparing hierarchies of types in models of linear logicInformation and Computation, 2004, 189 (2), pp.202-234
Article dans une revue
hal-00154200v1
|
||
|
Sequential algorithms and strongly stable functionsTheoretical Computer Science, 2005, 343 (1-2), pp.237-281. ⟨10.1016/j.tcs.2005.05.015⟩
Article dans une revue
hal-00154206v1
|
||
|
Asynchronous games 2: the true concurrency of innocenceCONCUR 2004 -- Concurrency Theory, Sep 2004, Londres, United Kingdom. pp.448-465
Communication dans un congrès
hal-00154286v1
|
||
|
Free models of T-algebraic theories computed as Kan extensions2008
Pré-publication, Document de travail
hal-00339331v1
|
||
|
Game semantics in string diagramsAnnual ACM/IEEE Symposium on Logic in Computer Science (LICS 2012), Jun 2012, Dubrovnik, Croatia
Communication dans un congrès
hal-00721662v1
|
||
|
Resource modalities in tensor logicAnnals of Pure and Applied Logic, 2010, 161 (5), pp.632-653. ⟨10.1016/j.apal.2009.07.018⟩
Article dans une revue
hal-00339154v2
|
||
|
Template games and differential linear logicThirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019), Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785830⟩
Communication dans un congrès
hal-02436300v1
|
||
|
Categorical combinatorics for non deterministic strategies on simple games21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018), Apr 2018, Thessaloniki, Greece. ⟨10.1007/978-3-319-89366-2_3⟩
Communication dans un congrès
hal-02436309v1
|
||
|
Parsing as a lifting problem and the Chomsky-Schützenberger representation theoremMFPS 2022 - 38th conference on Mathematical Foundations for Programming Semantics, Jul 2022, Ithaca, NY, United States. ⟨10.46298/entics.10508⟩
Communication dans un congrès
hal-03702762v1
|
||
|
Linear continuations and duality2007
Pré-publication, Document de travail
hal-00339156v1
|
||
|
Categorical Combinatorics of Scheduling and Synchronization in Game SemanticsProceedings of the ACM on Programming Languages, 2019, 3, ⟨10.1145/3290336⟩
Article dans une revue
hal-02436640v1
|
||
|
On bifibrations of model categoriesAdvances in Mathematics, 2020, 370, pp.107205. ⟨10.1016/j.aim.2020.107205⟩
Article dans une revue
hal-03103177v1
|
||
|
Asynchronous games 3 : An innocent model of linear logicCTCS 2004 -- Category Theory and Computer Science, 2004, Copenhague, Denmark. pp.171-192, ⟨10.1016/j.entcs.2004.06.057⟩
Communication dans un congrès
hal-00154294v1
|
||
|
Mac Lane's coherence theorem expressed as a word problem2003
Pré-publication, Document de travail
hal-00154213v1
|
- 1
- 2