Dezani-Ciancaglini, M.; Venneri, B. Partial types and intervals. (English) Zbl 0697.03005 SIAM J. Comput. 19, No. 4, 644-658 (1990). Cited in 3 Documents MSC: 03B40 Combinatory logic and lambda calculus 68Q55 Semantics in the theory of computing 03B45 Modal logic (including the logic of norms) 68P05 Data structures Keywords:inference system to assign partial types to terms of the untyped lambda calculus; modalities; soundness; completeness; interval semantics PDF BibTeX XML Cite \textit{M. Dezani-Ciancaglini} and \textit{B. Venneri}, SIAM J. Comput. 19, No. 4, 644--658 (1990; Zbl 0697.03005) Full Text: DOI OpenURL