Filtrer vos résultats
- 36
- 7
- 23
- 10
- 5
- 3
- 1
- 1
- 39
- 10
- 2
- 7
- 4
- 2
- 4
- 4
- 6
- 1
- 4
- 2
- 1
- 3
- 1
- 2
- 42
- 1
- 26
- 13
- 12
- 6
- 5
- 5
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 43
- 8
- 7
- 6
- 5
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
43 résultats
|
|
triés par
|
|
The concurrent game semantics of Probabilistic PCFthe 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), Jul 2018, Oxford, France. ⟨10.1145/3209108.3209187⟩
Communication dans un congrès
hal-01886965v1
|
||
|
The Quantitative Collapse of Concurrent Games with Symmetry2023
Pré-publication, Document de travail
hal-03280420v2
|
||
|
Causal Investigations in Interactive SemanticsComputer Science and Game Theory [cs.GT]. Aix-Marseile Université, 2024
HDR
tel-04523273v1
|
||
On the Expressivity of Linear Recursion Schemes44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany. ⟨10.4230/LIPIcs.MFCS.2019.50⟩
Communication dans un congrès
hal-02313542v1
|
|||
|
Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-orSecond International Conference on Formal Structures for Computation and Deduction, FSCD 2017, Sep 2017, Oxford, United Kingdom. pp.1 - 12, ⟨10.4230/LIPIcs.FSCD.2017.12⟩
Communication dans un congrès
hal-01886926v1
|
||
|
Game semantics for quantum programmingProceedings of the ACM on Programming Languages, 2019, 3 (POPL), pp.1-29. ⟨10.1145/3290345⟩
Article dans une revue
hal-02112184v1
|
||
|
Categories with Families: Unityped, Simply Typed, and Dependently TypedJoachim Lambek: The Interplay of Mathematics, Logic, and Linguistics, 20, Springer International Publishing, pp.135-180, 2021, Outstanding Contributions to Logic, ⟨10.1007/978-3-030-66545-6_5⟩
Chapitre d'ouvrage
hal-03419296v1
|
||
|
Resource-Tracking Concurrent GamesFoundations of Software Science and Computation Structures, Apr 2019, Prague, Czech Republic. pp.27-44, ⟨10.1007/978-3-030-17127-8_2⟩
Communication dans un congrès
hal-02096306v1
|
||
|
Full abstraction for the quantum lambda-calculusProceedings of the ACM on Programming Languages, 2020, 4 (POPL), pp.1-28. ⟨10.1145/3371131⟩
Article dans une revue
hal-02863835v1
|
||
|
Non-angelic Concurrent Game Semantics21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018), Apr 2018, Thessaloniki, Greece. ⟨10.1007/978-3-319-89366-2_1⟩
Communication dans un congrès
hal-01886951v1
|
||
|
Totality in arena gamesAnnals of Pure and Applied Logic, 2009, 161 (5), pp.673-689. ⟨10.1016/j.apal.2009.07.016⟩
Article dans une revue
hal-00443535v1
|
||
|
Learning to Count up to Symmetry2020
Pré-publication, Document de travail
hal-02861005v1
|
||
|
Bounding Linear Head Reduction and Visible Interaction Through SkeletonsLogical Methods in Computer Science, 2015, 11 (2), pp.6. ⟨10.2168/LMCS-11(2:6)2015⟩
Article dans une revue
hal-01286473v1
|
||
|
Symmetry in Concurrent GamesLogic in Computer Science, Jul 2014, Vienna, Austria. 10 p
Communication dans un congrès
hal-00990020v1
|
||
|
Fully Abstract Models of the Probabilistic λ-calculus27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.CSL.2018.16⟩
Communication dans un congrès
hal-01886956v1
|
||
|
Isomorphisms of types in the presence of higher-order referencesTwenty-Sixth Annual IEEE Symposium on Logic In Computer Science (LICS 2011), Jun 2011, Toronto, Canada. pp.152 - 161, ⟨10.1109/LICS.2011.32⟩
Communication dans un congrès
hal-00651816v1
|
||
|
The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type TheoriesTLCA 2011 - 10th Typed Lambda Calculi and Applications, Jun 2011, Novi Sad, Serbia. pp.91-106, ⟨10.1007/978-3-642-21691-6_10⟩
Communication dans un congrès
hal-00652087v1
|
||
|
The Mays and Musts of Concurrent StrategiesSamson Abramsky on Logic and Structure in Computer Science and Beyond, 25, Springer International Publishing, pp.327-361, 2023, Outstanding Contributions to Logic, ⟨10.1007/978-3-031-24117-8_9⟩
Chapitre d'ouvrage
hal-04244682v1
|
||
|
Thin Games with Symmetry and Concurrent Hyland-Ong GamesLogical Methods in Computer Science, 2019, ⟨10.2168/LMCS-15(1:18)2019⟩
Article dans une revue
hal-01068769v4
|
||
|
Böhm trees as higher-order recursion schemesFoundations of Software Technology and Theoretical Computer Science (FSTTCS 2013), Dec 2013, Guwahati, India. pp.91--102, ⟨10.4230/LIPIcs.FSTTCS.2013.91⟩
Communication dans un congrès
hal-00966102v1
|
||
|
Games and Strategies as Event StructuresLogical Methods in Computer Science, 2017, ⟨10.23638/LMCS-13(3:35)2017⟩
Article dans une revue
hal-01302713v3
|
||
|
The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type TheoriesMathematical Structures in Computer Science, 2014, 24 (05), pp.e240501. ⟨10.1017/S0960129513000881⟩
Article dans une revue
hal-00990027v1
|
||
|
Strategies as Resource Terms, and Their Categorical Semantics8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), Jul 2023, Rome, Italy. ⟨10.4230/LIPIcs.FSCD.2023.13⟩
Communication dans un congrès
hal-04244568v1
|
||
|
Distributed Strategies Made Easy42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, Aug 2017, Aalborg, Denmark. ⟨10.4230/LIPIcs.MFCS.2017.81⟩
Communication dans un congrès
hal-01886946v1
|
||
|
Undecidability of Equality in the Free Locally Cartesian Closed CategoryTLCA 2015 13th International Conference on Typed Lambda Calculi and Applications, Jul 2015, Varsovie, Poland. ⟨10.4230/LIPIcs.TLCA.2015.138⟩
Communication dans un congrès
hal-01286479v1
|
||
|
Game Semantics and Normalization by Evaluation18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Apr 2015, Londres, United Kingdom. ⟨10.1007/978-3-662-46678-0_4⟩
Communication dans un congrès
hal-01286469v1
|
||
|
Least and greatest fixpoints in game semanticsFoundations of Software Science and Computational Structures, Mar 2009, York, United Kingdom. pp.16-31, ⟨10.1007/978-3-642-00596-1_3⟩
Communication dans un congrès
hal-00443537v1
|
||
|
The Mays and Musts of Concurrent Strategies2021
Pré-publication, Document de travail
hal-03323995v1
|
||
|
The Parallel Intensionally Fully Abstract Games Model of PCFThirtieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.31⟩
Communication dans un congrès
hal-01286477v1
|
||
|
From Thin Concurrent Games to Generalized Species of Structures2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-14, ⟨10.1109/LICS56636.2023.10175681⟩
Communication dans un congrès
hal-04244609v1
|
- 1
- 2