Advanced search    

Search: authors:"Luigi Liquori"

1 papers found.
Use AND, OR, NOT, +word, -word, "long phrase", (parentheses) to fine-tune your search.

The Delta-Framework

, France 1 Luigi Liquori Université Côte d'Azur , INRIA Sophia Antipolis - Méditerranée 2004 Route des Lucioles - BP 93 FR-06902 Sophia Antipolis , France 2 Dept. of Mathematics , Computer Science and ... 25th Annual IEEE Symposium on Logic in Computer Science, LICS, pages 21–30, 2010. Claude Stolze. Δ-framework implementation. Bull and Bull-Subtyping, 2017. Claude Stolze, Luigi Liquori, Furio Honsell