Filtrer vos résultats
- 17
- 16
- 22
- 10
- 1
- 23
- 1
- 1
- 1
- 1
- 2
- 2
- 5
- 1
- 3
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 3
- 2
- 1
- 2
- 33
- 15
- 15
- 7
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 33
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
33 résultats
|
|
|
triés par
|
|
|
Factorization in Call-by-Name and Call-by-Value Calculi via Linear LogicFoSSaCS 2021: International Conference on Foundations of Software Science and Computation Structures, Mar 2021, Luxembourg city, Luxembourg. ⟨10.1007/978-3-030-71995-1_11⟩
Communication dans un congrès
hal-03455783v1
|
||
On Multiplicative Linear Logic, Modality and Quantum CircuitsQuantum Physics and Logic, 2011, Netherlands. pp.81-96
Communication dans un congrès
hal-00695352v1
|
|||
|
|
Intersection Types and (Positive) Almost-Sure TerminationProceedings of the ACM on Programming Languages, 2021, ⟨10.1145/3434313⟩
Article dans une revue
hal-03044416v1
|
||
|
|
Evaluation and convergence in the computational calculusTLLA 2021 - 5th International Workshop on Trends in Linear Logic and Applications, Jun 2021, Rome (virtual), Italy
Communication dans un congrès
lirmm-03271490v1
|
||
|
|
Higher Order Bayesian Networks, ExactlyProc. ACM Program. Lang, In press, POPL 2024, ⟨10.1145/363292⟩
Article dans une revue
hal-04337161v1
|
||
Interactive observability in Ludics: The geometry of tests.Theoretical Computer Science, 2006, pp.350(2-3): 213-233
Article dans une revue
hal-00150907v1
|
|||
Ludics with Repetitions (Exponentials, Interactive Types and Completeness).IEEE Symposium on Logic in Computer Science, Aug 2011, Los Angeles, United States. pp.375-384
Communication dans un congrès
hal-00629448v1
|
|||
|
|
Lambda Calculus and Probabilistic Computation2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2019, Vancouver, Canada. pp.1-13, ⟨10.1109/LICS.2019.8785699⟩
Communication dans un congrès
hal-02411551v1
|
||
Girard's Festschrift, Theoretical Computer Science (Volume 412, Issue 20)Elsevier, pp.240, 2011
Ouvrages
hal-00589711v1
|
|||
Interactive Observability in Ludics2004, pp.506-518
Communication dans un congrès
hal-00150910v1
|
|||
|
|
Parallelism and Synchronization in an Infinitary ContextLICS 2015, Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.58⟩
Communication dans un congrès
hal-01231813v1
|
||
Partial Orders, Event Structures and Linear StrategiesTLCA 2009, TYPED LAMBDA CALCULI AND APPLICATIONS, 2009, Brasilia, Brazil. pp.95-111
Communication dans un congrès
hal-00629450v1
|
|||
A Graph Abstract Machine Describing Event Structure Composition2007, pp.60-75
Communication dans un congrès
hal-00150423v1
|
|||
Ludics is a model for the finitary linear Pi-calculusTLCA 07 - Typed Lambda Calculi and Applications, 2007, France. 15 p
Communication dans un congrès
hal-00150425v1
|
|||
|
|
The Geometry of Parallelism: Classical, Probabilistic, and Quantum EffectsPOPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.833-845, ⟨10.1145/3009837.3009859⟩
Communication dans un congrès
hal-01474620v1
|
||
|
|
Measurements in Proof Nets as Higher-Order Quantum Circuits23rd European Symposium on Programming, Apr 2014, Grenoble, France. pp.371 - 391, ⟨10.1007/978-3-642-54833-8_20⟩
Communication dans un congrès
hal-01091582v1
|
||
|
|
An approach to innocent strategies as graphsInformation and Computation, 2012, 214, pp.119-155
Article dans une revue
hal-00155293v1
|
||
|
|
Ludics with repetitions (Exponentials, Interactive types and Completeness)Logical Methods in Computer Science, 2011, 7 (2), pp.1-85. ⟨10.2168/LMCS-7(2:13)2011⟩
Article dans une revue
hal-00629442v1
|
||
|
|
On reduction and normalization in the computational coreMathematical Structures in Computer Science, 2023, 32 (7), pp.934-981. ⟨10.1017/S0960129522000433⟩
Article dans une revue
hal-04047328v1
|
||
|
|
Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal FormsLogical Methods in Computer Science, 2022, 18 (2), ⟨10.46298/lmcs-18(2:5)2022⟩
Article dans une revue
hal-03785788v1
|
||
|
|
Strategies for Asymptotic NormalizationFSCD 2022, International Conference on Formal Structures for Computation and Deduction, 2022, Haifa, Israel. ⟨10.4230/LIPIcs.FSCD.2022.17⟩
Communication dans un congrès
hal-03786122v1
|
||
|
|
Solvability in a Probabilistic Setting (Invited Talk)International Conference on Formal Structures for Computation and Deduction, FSCD 2020, Jun 2020, Paris, France. ⟨10.4230/LIPIcs.FSCD.2020.1⟩
Communication dans un congrès
hal-03044443v1
|
||
An introduction to uniformity in LudicsLecture Notes in Computer Science, 2004, 316, pp.236-247
Article dans une revue
hal-00150911v1
|
|||
A Graph Abstract Machine Describing Event Structure CompositionElectronic Notes in Theoretical Computer Science, 2007, 175 (4), pp.21-36
Article dans une revue
hal-00719045v1
|
|||
Probabilistic Rewriting: Normalization, Termination, and Unique Normal FormsInternational Conference on Formal Structures for Computation and Deduction (FSCD), Jun 2019, Dortmund, France. ⟨10.4230/LIPIcs.FSCD.2019.19⟩
Communication dans un congrès
hal-02411553v1
|
|||
|
|
The Geometry of SynchronizationJoint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603154⟩
Communication dans un congrès
hal-01091560v1
|
||
Jump from Parallel to Sequential Proofs: Multiplicatives2006, pp.319-333
Communication dans un congrès
hal-00150906v1
|
|||
Ludics Nets, a game Model of Concurrent InteractionLOGIC IN COMPUTER SCIENCE (LICS 2005), Jun 2011, Chicago, United States. pp.376-385
Communication dans un congrès
hal-00150909v1
|
|||
Proof nets sequentialisation in multiplicative linear logicAnnals of Pure and Applied Logic, 2008, 155 (3), pp.173-182
Article dans une revue
hal-00629440v1
|
|||
|
|
The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), 2023, Roma, Italy. pp.8:1--8:18, ⟨10.4230/LIPIcs.FSCD.2023.8⟩
Communication dans un congrès
hal-04267615v1
|
- 1
- 2