( en | de | ru )

 

Disambiguierung von "Pellissier, Luc"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The exponential logic of sequentialization.

, , und . MFPS, Volume 3 von EPTICS, EpiSciences, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Muriel Pellissier

Luc Segoufin

Luc Turmes

Luc Seysoux

Luc Buatois

 

Weitere Publikationen von Autoren mit dem selben Namen

PRAMs over integers do not compute maxflow efficiently., und . CoRR, (2018)Inferential Semantics as Argumentative Dialogues., , und . DCAI (Special Sessions), Volume 1242 von Advances in Intelligent Systems and Computing, Seite 72-81. Springer, (2020)Glueability of Resource Proof-Structures: Inverting the Taylor Expansion., , und . CSL, Volume 152 von LIPIcs, Seite 24:1-24:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Computing Connected Proof(-Structure)s From Their Taylor Expansion., , und . FSCD, Volume 52 von LIPIcs, Seite 20:1-20:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Reductions and linear approximations. (Réductions et approximations linéaires).. Sorbonne Paris Cité, France, (2017)Canonical proof-objects for coinductive programming: infinets with infinitely many cuts., , und . PPDP, Seite 7:1-7:15. ACM, (2021)A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic., und . ICTAC, Volume 9399 von Lecture Notes in Computer Science, Seite 144-161. Springer, (2015)Proof-Net as Graph, Taylor Expansion as Pullback., , und . WoLLIC, Volume 11541 von Lecture Notes in Computer Science, Seite 282-300. Springer, (2019)The exponential logic of sequentialization., , und . MFPS, Volume 3 von EPTICS, EpiSciences, (2023)