Nombre de documents

7

Luc Pellissier


Doctorant au LIPN, Université Paris 13, Université Sorbonne Paris Cité, sous la direction de Damiano Mazza.

 

Ma page personnelle


Communication dans un congrès7 documents

  • Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco. Relational type-checking of connected proof-structures. Developments in Implicit Computational Complexity, Apr 2016, Eindhoven, Netherlands. 〈hal-01287936〉
  • Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco. Computing connected proof(-structure)s from their Taylor expansion. Delia Kesner; Brigitte Pientka. Formal Structures in Computation and Deduction, Jun 2016, Porto, Portugal. 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), 52, pp.20:1-20:18, 2016, Leibniz International Proceedings in Informatics (LIPIcs). 〈http://fscd2016.dcc.fc.up.pt〉. 〈hal-01310563〉
  • Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco. Relational type-checking for MELL proof-structures. Part 1: Multiplicatives. Eighth Workshop on Intersection Types and Related Systems, Jun 2016, Porto, Portugal. 〈hal-01324001〉
  • Pierre Boudes, Antoine Kaszczyc, Luc Pellissier. Monetary Economics Simulation: Stock-Flow Consistent Invariance, Monadic Style. 11th Artificial Economics Conference, Sep 2015, Porto, Portugal. 〈hal-01181278〉
  • Damiano Mazza, Luc Pellissier. A Functorial Bridge between the Infinitary Affine Lambda-Calculus and Linear Logic. Martin Leucker; Camilo Rueda; Franck D. Valencia. Internation Colloquium on Theoretical Aspects of Computing, Oct 2015, Cali, Colombia. Springer, Theoretical Aspects of Computing - ICTAC 2015 (9399), pp.144-161, 2015, Lecture Notes in Computer Science. 〈http://www.ictac2015.co〉. 〈10.1007/978-3-319-25150-9_10〉. 〈hal-01183520v2〉
  • Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco. Injectivity of relational semantics with respect to MELL proof-nets and the Taylor expansion. 8th International Conference on Topology, Algebra and Categories in Logic, Jun 2015, Ischia, Italy. 〈hal-01298563〉
  • Giulio Guerrieri, Lorenzo Tortora de Falco, Luc Pellissier. Injectivity of relational semantics for (connected) MELL proof-nets via Taylor expansion. 8th International Workshop on Computing with Terms and Graphs, Jul 2014, Vienna, Austria. 〈hal-00998847〉