Filtrer vos résultats
- 40
- 30
- 28
- 27
- 13
- 1
- 1
- 1
- 1
- 68
- 6
- 1
- 20
- 20
- 1
- 6
- 2
- 3
- 4
- 5
- 2
- 5
- 1
- 1
- 3
- 5
- 6
- 2
- 3
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 70
- 43
- 28
- 9
- 4
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 70
- 8
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
70 résultats
Probabilistic coherence spaces as a model of higher- order probabilistic computationInformation and Computation, 2011, 152 (1), pp.111-137
Article dans une revue
hal-00640435v1
|
|||
Collapsing non-idempotent intersection typesThe annual conference of the European Association for Computer Science Logic, Sep 2012, Fontaineblau, France. pp.1-15
Communication dans un congrès
hal-00712219v1
|
|||
|
The computational meaning of probabilistic coherent spacesLogic in Computer Science (LICS), Jun 2011, Toronto, ON, Canada. pp.87 - 96, ⟨10.1109/LICS.2011.29⟩
Communication dans un congrès
hal-00627490v1
|
||
|
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
|
||
|
Integration in ConesIRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale. 2022
Rapport
hal-03883861v3
|
||
|
Categorical models of Linear Logic with fixed points of formulas36th ACM/IEEE Symposium on Logic in Computer Science (LICS 2021), Jun 2021, Rome, Italy. pp.1-13, ⟨10.1109/LICS52264.2021.9470664⟩
Communication dans un congrès
hal-03013356v3
|
||
Full Abstraction for Resource Calculus with TestsComputer Science Logic (CSL'11), Sep 2011, Bergen, Norway. pp.97-111, ⟨10.4230/LIPIcs.CSL.2011.97⟩
Communication dans un congrès
hal-00707814v1
|
|||
|
Not enough points is enoughComputer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Sep 2007, Lausanne, Switzerland. pp.298-312
Communication dans un congrès
hal-00148820v1
|
||
Projecting Sequential Algorithms on Strongly Stable FunctionsAnnals of Pure and Applied Logic, 1996, 77 (3), pp.201-244
Article dans une revue
hal-00527033v1
|
|||
On Phase Semantics and Denotational Semantics in Multiplicative Additive Linear LogicAnnals of Pure and Applied Logic, 2000, 102 (3), pp.247-282
Article dans une revue
hal-00527039v1
|
|||
|
Upper approximating probabilities of convergence in probabilistic coherence spaces2020
Pré-publication, Document de travail
hal-02913877v1
|
||
|
Full Abstraction for Probabilistic PCFJournal of the ACM (JACM), 2018, 65 (4), pp.1-44. ⟨10.1145/3164540⟩
Article dans une revue
hal-02346086v1
|
||
|
A coherent differential PCFLogical Methods in Computer Science, 2023, Volume 19, Issue 4, ⟨10.46298/lmcs-19(4:7)2023⟩
Article dans une revue
hal-03661536v3
|
||
|
A Fibrational Approach to Multiplicative Additive Indexed Linear Logic2023
Pré-publication, Document de travail
hal-03978764v1
|
||
|
A calculus of branching processesTheoretical Computer Science, 2019, ⟨10.1016/j.tcs.2019.06.028⟩
Article dans une revue
hal-02357975v1
|
||
|
Differentials and distances in probabilistic coherence spacesLogical Methods in Computer Science, 2022, 18 (3), pp.2:1-2:33
Article dans une revue
hal-02015479v3
|
||
|
On probabilistic coherence spaces2008
Pré-publication, Document de travail
hal-00280462v1
|
||
|
On finiteness spaces and extensional presheaves over the Lawvere theory of polynomials2007
Pré-publication, Document de travail
hal-00165230v1
|
||
|
On relation between totality semantic and syntactic validity5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy
Communication dans un congrès
lirmm-03271408v1
|
||
|
Effects in Call-By-Push-Value, from a Linear Logic point of view2016
Pré-publication, Document de travail
hal-01375814v1
|
||
|
Measurable Cones and Stable, Measurable Functions2017
Pré-publication, Document de travail
hal-01622046v2
|
||
|
A relational semantics for parallelism and non-determinism in a functional settingAnnals of Pure and Applied Logic, 2012, 163 (7), pp.918-934. ⟨10.1016/j.apal.2011.09.008⟩
Article dans une revue
hal-00707776v1
|
||
|
Uniformity and the Taylor expansion of ordinary lambda-termsTheoretical Computer Science, 2008, 403 (2-3), pp.347-372. ⟨10.1016/j.tcs.2008.06.001⟩
Article dans une revue
hal-00150275v1
|
||
Believe it or not, AJM's games model is a model of classical linear logicLogic in Computer Science, Jun 1997, Poland. pp.68-75
Communication dans un congrès
hal-00519846v1
|
|||
Quantitative Semantics RevisitedTyped Lambda Calculi and Applications, 4th International Conference, TLCA'99, Apr 1999, L'Aquila, Italy. pp.40-53
Communication dans un congrès
hal-00527035v1
|
|||
|
A finiteness structure on resource terms25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, Jul 2010, Edinburgh, United Kingdom. pp.402-410, ⟨10.1109/LICS.2010.38⟩
Communication dans un congrès
hal-00448431v1
|
||
|
Cartesian Coherent Differential CategoriesThirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston (MA), United States
Communication dans un congrès
hal-04015264v2
|
||
|
A convenient differential category2010
Pré-publication, Document de travail
hal-00492424v1
|
||
Hypercoherences, a strongly stable model of linear logicMathematical Structures in Computer Science, 1993, 3 (4), pp.365-385
Article dans une revue
hal-00527026v1
|
|||
On Köthe Sequence Spaces and Linear LogicMathematical Structures in Computer Science, 2002, 12 (5), pp.579-623
Article dans une revue
hal-00527045v1
|