International Journals with Reading Comitee

Mazza, Damiano, Luc Pellissier, and Pierre Vial. 2018. “Approximations, Fibrations and Intersection Type Systems.” Edited by Philip Wadler and Andrew Myers. Proceedings of the ACM on Programming Languages 2 (January): 6:1–6:28. https://doi.org/10.1145/3158094.

International Conferences with Reading Comitee

Guerrieri, Giulio, Luc Pellissier, and Lorenzo Tortora de Falco. 2016. “Computing (Connected) Proof-Structures from Their Taylor Expansion.” In 1st International Confererence on Formal Structures for Computation and Deduction, edited by Delia Kesner and Brigitte Pientka, 2016:20:1–20:18. Leibniz International Proceedings in Informatics 52.

Mazza, Damiano, and Luc Pellissier. 2015. “A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic.” In 12th International Colloquium on Theoretical Aspects of Computing, edited by Martin Leucker, Camilo Rueda, and Frank Valencia, 2015:144–61. Lecture Notes in Computer Science 9399.

International Workshop Without Proceedings

Boudes, Pierre, Antoine Kaszczyc, and Luc Pellissier. 2015. “Monetary Economics Simulation: Stock-Flow Consistent Invariance, Monadic Style.” Porto, September.

Guerrieri, Giulio, Luc Pellissier, and Lorenzo Tortora de Falco. 2014. “Injectivity of Relational Semantics for (Connected) Mell Proof-Nets via Taylor Expansion.” Vienne, July.

———. 2016. “Relational Type-Checking for Mell Proof-Structures. Part 1: Multiplicatives.” Porto, June.

International Workshop Without Proceedings (on abstracts)

Boudes, Pierre, Antoine Kaszczyc, and Luc Pellissier. 2016. “Anticipation Flowing Backwards in a Functional Monetary Economics Simulation.” Rome, September.

Chouquet, Jules, Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco, and Lionel Vaux. 2017a. “Normalization by Evaluation in Linear Logic.” Padoue, September.

———. 2017b. “Normalization by Evaluation in Linear Logic.” Oxford, September.

Guerrieri, Giulio, Luc Pellissier, and Lorenzo Tortora de Falco. 2015. “Injectivity of Relational Semantics with Respect to Mell Proof-Nets and the Taylor Expansion.” Ischia, June.

———. 2016. “Relational Type-Checking of Mell Proof-Structures.” Eindhoven, April.

———. 2017. “Coherence, Taylor Expansion, and Box-Connected Proof-Structures.” Oxford, September.

Mazza, Damiano, Luc Pellissier, and Pierre Vial. 2017. “Approximations, Fibrations and Intersection Type Systems.” Oxford, September.

Pellissier, Luc, and Thomas Seiller. 2018. “Entropy and Complexity Lower Bounds.” Thessalonique, April.