Partial Types and Intervals

DOI10.1137/0219043MaRDI QIDQ3474631zbMATH OpenOpenAlexFDO

Authors 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

completenessinference system to assign partial types to terms of the untyped lambda calculusinterval semanticsmodalitiessoundness

Mathematics Subject Classification ID

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

Recommendations

• Type inference with partial types
• scientific article; zbMATH DE number 4058828
• Partial functions in type theory
• Automated Deduction – CADE-19
• scientific article; zbMATH DE number 3986625
• Counting partial types in simple theories
• Intersection types and termination properties
• scientific article; zbMATH DE number 2044493
• scientific article; zbMATH DE number 604880
• scientific article; zbMATH DE number 177846

Cited in

(11)

• Safety analysis versus type inference for partial types
• Efficient inference of partial types
• Types et contragrédientes
• scientific article; zbMATH DE number 4087626 (Why is no real title available?)
• scientific article; zbMATH DE number 1256673 (Why is no real title available?)
• Toward a semantics for the QUEST language
• scientific article; zbMATH DE number 218500 (Why is no real title available?)
• A semantic measure of the execution time in linear logic
• Semi-continuous Sized Types and Termination
• Automated Deduction – CADE-19
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

This page was built for publication: Partial Types and Intervals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3474631)