Advanced search    

Search: authors:"Furio Honsell"

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

The Delta-Framework

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 ... Symposium on Programming , pages 212 - 226 , 1982 . Furio Honsell and Marina Lenisa . Semantical Analysis of Perpetual Strategies in lambdaCalculus. Theor. Comput. Sci. , 212 ( 1-2 ): 183 - 209 , 1999 . Furio