Partial Types and Intervals

DOI10.1137/0219043zbMath0697.03005OpenAlexW2067717885MaRDI QIDQ3474631

Mariangiola Dezani-Ciancaglini, Betti Venneri

Publication date: 1990

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0219043

zbMATH Keywords

completenesssoundnessmodalitiesinterval semanticsinference system to assign partial types to terms of the untyped lambda calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55) Data structures (68P05) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Toward a semantics for the QUEST language ⋮ A semantic measure of the execution time in linear logic

This page was built for publication: Partial Types and Intervals