de Falco, Lorenzo Tortora

1. The relational model is injective for Multiplicative Exponential Linear\n Logic (without weakenings)
   2010/02/16 by Daniel de Carvalho, de Carvalho, Daniel, Lorenzo Tortora de Falco +1 · 1 citation
   Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies
2. A semantic account of strong normalization in Linear Logic
   2013/04/24 by Daniel de Carvalho, de Carvalho, Daniel, Lorenzo Tortora de Falco +1 · 1 citation
   Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Logic, Reasoning, and Knowledge