Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic
- Data pubblicazione:
- 2025
- Autori:
- Di Guardia, Rémi; Laurent, Olivier; Tortora De Falco, Lorenzo; Vaux Auclair, Lionel
Ritratto
Lorenzo Tortora De Falco
Professore Associato
Matematica e Fisica
Profili accademici
Contatti e modalità di ricevimento
Recapiti
Sede e ricevimento
Università degli Studi Roma Tre
Dipartimento di Matematica e Fisica
Largo San Leonardo Murialdo 1
Giovedì ore 13-15
Corsi attivi e insegnamenti erogati
Pubblicazioni recenti
-
Contributo in Atti di convegno -
Contributo in Atti di convegno Linear Realisability over nets: multiplicatives
- Data pubblicazione:
- 2025
- Autori:
- Ragot, Adrien; Seiller, Thomas; TORTORA DE FALCO, Lorenzo
-
Contributo in Atti di convegno Confluence for Proof Nets via Parallel Cut Elimination
- Data pubblicazione:
- 2024
- Autori:
- Guerrieri, Giulio; Manara, Giulia; TORTORA DE FALCO, Lorenzo; Vaux Auclair, Lionel
-
Contributo in Atti di convegno Linear Realisability Over Nets and Second Order Quantification
- Data pubblicazione:
- 2023
- Autori:
- TORTORA DE FALCO, Lorenzo
-
Articolo in rivista Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
- Data pubblicazione:
- 2022
- Autori:
- Guerrieri, Giulio; Pellissier, Luc; TORTORA DE FALCO, Lorenzo
-
Contributo in Atti di convegno MELL proof-nets in the category of graphs
- Data pubblicazione:
- 2021
- Autori:
- Guerrieri, Giulio; Manara, Giulia; Pellissier, Luc; TORTORA DE FALCO, Lorenzo; Vaux Auclair, Lionel