Logical equivalence for subtyping object and recursive types

DOI10.1007/S00224-007-9079-5MaRDI QIDQ2481559zbMATH OpenOpenAlexFDO

Authors Steffen Van Bakel, Ugo de'Liguoro

Publication date 11 April 2008

Published in Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/inria-00097235/file/vanBakel-deLiguoro.pdf

zbMATH Keywords

object calculiprogram logictype theory

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Theoretical Computer Science
• Operational equivalences for untyped and polymorphic object calculi
• Coherence and transitivity of subtyping as entailment
• Logic of subtyping
• Logical semantics for the first order -calculus.

Cites work

• A filter lambda model and the completeness of type assignment
• A modest model of records, inheritance, and bounded quantification
• Complete restrictions of the intersection type discipline
• Domain theory in logical form
• Full abstraction in the lazy lambda calculus
• scientific article; zbMATH DE number 1722661 (Why is no real title available?)
• scientific article; zbMATH DE number 46869 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• Inheritance as implicit coercion
• Intersection type assignment systems
• Logical semantics for the first order -calculus.
• Recursion over realizability structures
• Semantics and logic of object calculi
• Theoretical Computer Science

Cited in

(9)

• Operational equivalences for untyped and polymorphic object calculi
• Subtyping in logical form
• Approximation semantics and expressive predicate assignment for object-oriented programming (extended abstract)
• Structural subtyping for inductive types with functorial equality rules
• Semantic types and approximation for Featherweight Java
• scientific article; zbMATH DE number 1251179 (Why is no real title available?)
• Theoretical Computer Science
• Functional type assignment for Featherweight Java. To Rinus Plasmeijer, in honour of his 61st birthday
• Logical semantics for the first order -calculus.

This page was built for publication: Logical equivalence for subtyping object and recursive types

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