Lorenzo Tortora de Falco

Identifiers

• name variant Lorenzo Tortora de Falco 0.60 · backfill

Papers (5)

1. Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications cs.LO · 2019 · author #4
2. Relational type-checking for MELL proof-structures. Part 1: Multiplicatives cs.LO · 2016 · author #3
3. A semantic account of strong normalization in Linear Logic cs.LO · 2013 · author #2
4. An Abstract Approach to Stratification in Linear Logic cs.LO · 2012 · author #3
5. The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings) cs.LO · 2010 · author #2

Mentions

• 1304.6762 #2 · backfill · confidence 0.70 Lorenzo Tortora de Falco
• 1206.6504 #3 · backfill · confidence 0.70 Lorenzo Tortora de Falco
• 1002.3131 #2 · backfill · confidence 0.70 Lorenzo Tortora de Falco

Frequent Coauthors

• Daniel de Carvalho 2 shared papers
• Damiano Mazza 1 shared papers
• Giulio Guerrieri (I2M) 1 shared papers
• Luc Pellissier (LIPN) 1 shared papers
• Maribel Fern\'andez 1 shared papers
• Pierre Boudes 1 shared papers
• Thomas Ehrhard 1 shared papers
• Valeria de Paiva 1 shared papers