Advanced search    

Search: authors:"Claude Stolze"

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 ... Logik und Grundlagen der Mathematik , 27 ( 2-6 ): 45 - 58 , 1981 . Daniel J. Dougherty , Ugo de'Liguoro , Luigi Liquori , and Claude Stolze . A Realizability Interpretation for Intersection and Union