Michele Pagani
Publications
Publications
|
|
Variable Elimination as Rewriting in a Linear Lambda CalculusProgramming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, May 2025, Hamilton, Canada. pp.292-321, ⟨10.1007/978-3-031-91118-7_12⟩ |
|
|
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⟩ |
|
|
The Benefit of Being Non-Lazy in Probabilistic λ-calculus : Applicative Bisimulation is Fully Abstract for Non-Lazy Probabilistic Call-by-NameLICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2020, Saarbrücken, Germany. pp.327-340, ⟨10.1145/3373718.3394806⟩ |
|
|
The Discriminating Power of the Let-In Operator in the Lazy Call-by-Name Probabilistic λ-Calculus4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019), Jun 2019, Dortmund, Germany. ⟨10.4230/LIPIcs.FSCD.2019.26⟩ |
|
|
The Free Exponential Modality of Probabilistic Coherence SpacesFoundations of Software Science and Computation Structures (FOSSACS 2017), Apr 2017, Uppsala, Sweden. pp.20-35, ⟨10.1007/978-3-662-54458-7_2⟩ |
|
|
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ -terms19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2016), Apr 2016, Eindhoven, Netherlands. pp 408-423 |
Toward analytic rewriting theoryInformal Electronic Proceedings of the 8th International Workshop on Higher-Order Rewriting (HOR’16), 2016, Porto, Portugal |
|
|
|
Modelling Coeffects in the Relational Semantics of Linear Logic24th EACSL Annual Conference on Computer Science Logic (CSL 2015), EACSL, Sep 2015, Berlin, Germany. ⟨10.4230/LIPIcs.CSL.2015.567⟩ |
|
|
Probabilistic coherence spaces are fully abstract for probabilistic PCFThe 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '14), Jan 2014, San Diego, CA, United States. pp.309-320, ⟨10.1145/2535838.2535865⟩ |
|
|
Applying quantitative semantics to higher-order quantum computingProceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM SIGPLAN-SIGACT, Jan 2014, San Diego (California), United States. pp.647-658, ⟨10.1145/2578855.2535879⟩ |
|
|
A characterization of the Taylor expansion of lambda-terms22nd EACSL Annual Conference Computer Science Logic (CSL 2013), EACSL, Sep 2013, Turin, Italy. pp.101-115, ⟨10.4230/LIPIcs.CSL.2013.101⟩ |
|
|
Call-by-value non-determinism in a linear logic type disciplineLFCS - Logical Foundations of Computer Science - 2013, Jan 2013, San Diego, CA, United States. pp.164-178, ⟨10.1007/978-3-642-35722-0_12⟩ |
|
|
Weighted Relational Models of Typed Lambda-Calculi28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013, Jun 2013, New Orleans, LA, United States. ⟨10.1109/LICS.2013.36⟩ |
|
|
The computational meaning of probabilistic coherent spacesLogic in Computer Science (LICS), Jun 2011, Toronto, ON, Canada. pp.87 - 96, ⟨10.1109/LICS.2011.29⟩ |
|
|
Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion10th International Conference on Typed Lambda Calculi and Applications (TLCA 2011), 2011, Oxford, United Kingdom. pp.153-168, ⟨10.1007/978-3-642-21691-6_14⟩ |
|
|
The inverse Taylor expansion problem in linear logicLogic in Computer Science, Aug 2009, Los Angeles, United States. pp.222--231, ⟨10.1109/LICS.2009.19⟩ |
|
|
Parallel Reduction in Resource Lambda-Calculus7th Asian Symposium on Programming Languages and Systems (APLAS 2009), Dec 2009, Seoul, South Korea. pp.226-242, ⟨10.1007/978-3-642-10672-9_17⟩ |
|
|
The Cut-Elimination Thereom for Differential Nets with Promotion9th International Conference on Typed Lambda Calculi and Applications (TLCA 2009), Jul 2009, Brasilia, Brazil. pp.219-233, ⟨10.1007/978-3-642-02273-9_17⟩ |
|
|
The Separation Theorem for Differential Interaction Nets14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007), Oct 2007, Yerevan, Armenia. pp.393-407, ⟨10.1007/978-3-540-75560-9_29⟩ |
|
|
Acyclicity and Coherence in Multiplicative Exponential Linear LogicComputer Science Logic. CSL 2006, EACSL, 2006, Szeged, Hungary. pp.531-545, ⟨10.1007/11874683_35⟩ |
|
|
A semantic measure of the execution time in Linear Logic[Research Report] RR-6441, INRIA. 2008, pp.48 |
|
|
Stream Associative Nets and Lambda-mu-calculus[Research Report] RR-6431, INRIA. 2008, pp.48 |
Proof nets and cliques: towards the understanding of analytical proofsLogic [math.LO]. Università Roma Tre; Université de la Méditerrannée, 2006. English. ⟨NNT : ⟩ |
Some Advances in Linear LogicLogic in Computer Science [cs.LO]. Université Paris Nord (Paris 13), 2013 |