- 1
Luc Pellissier
1
Documents
Présentation
Doctorant au LIPN, Université Paris 13, Université Sorbonne Paris Cité, sous la direction de Damiano Mazza.
[Ma page personnelle](http://lipn.univ-paris13.fr/~pellissier/)
Currently preparing a PhD at the LIPN, Université Paris 13, Université Sorbonne Paris Cité, under the supervision of Damiano Mazza.
[Ma page personnelle](http://lipn.univ-paris13.fr/~pellissier/)
Publications
- 1
- 1
- 1
- 1
- 1
- 1
|
A Functorial Bridge between the Infinitary Affine Lambda-Calculus and Linear LogicInternation Colloquium on Theoretical Aspects of Computing, Oct 2015, Cali, Colombia. pp.144-161, ⟨10.1007/978-3-319-25150-9_10⟩
Communication dans un congrès
hal-01183520v2
|