Lorenzo Tortora de Falco

A semantic measure of the execution time in linear logic

Dionísio Carvalho, Michele Pagani, Lorenzo Tortora de Falco · Theoretical Computer Science · 2010 · 55 citations · Full text

Applied Logic, Computational Logic, Engineering +11

Strong normalization property for second order linear logic

Michele Pagani, Lorenzo Tortora de Falco · Theoretical Computer Science · 2009 · 27 citations

Engineering, Automated Reasoning, Data Normalization +4

Polarized and focalized linear and classical proofs

Olivier Laurent, Myriam Quatrini, Lorenzo Tortora de Falco · Annals of Pure and Applied Logic · 2005 · 22 citations

Theoretical Mathematics, Engineering, Proof Complexity +3

A semantic account of strong normalization in linear logic

Daniel de Carvalho, Lorenzo Tortora de Falco · Information and Computation · 2016 · 19 citations · Full text

Non-classical Logic, Engineering, Automated Reasoning +7

Obsessional experiments for linear logic proof-nets

Lorenzo Tortora de Falco · Mathematical Structures in Computer Science · 2003 · 19 citations

Computational Logic, Non-classical Logic, Obsessional Experiments +14