Subtyping in Logical Form

DOI10.1016/S1571-0661(04)80491-2zbMath1270.03033MaRDI QIDQ2842836

Ugo de'Liguoro

Publication date: 16 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item
• Unnamed Item
• A modest model of records, inheritance, and bounded quantification
• Recursion over realizability structures
• Domain theory in logical form
• A filter lambda model and the completeness of type assignment

This page was built for publication: Subtyping in Logical Form