The insensitivity theorem for nonreducing reflexive types

DOI10.1016/0022-0000(83)90049-1MaRDI QIDQ792755zbMATH OpenOpenAlexFDO

Authors Egidio Astesiano, Gerardo Costa

Publication date 1983

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0022-0000(83)90049-1

zbMATH Keywords

programming languagestyped lambda calculusabstract semanticsapplicative language modellingfree continuous algebrasreducing type

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40) Hierarchies of computability and definability (03D55) Abstract data types; algebraic specification (68Q65) Higher-type and set recursion theory (03D65)

Recommendations

• scientific article; zbMATH DE number 3850462
• scientific article; zbMATH DE number 3938562
• scientific article; zbMATH DE number 16188
• A decidable theory of type assignment
• Partial inductive definitions as type-systems for \(\lambda\)-terms

Cites work

• scientific article; zbMATH DE number 3694576 (Why is no real title available?)
• scientific article; zbMATH DE number 3774872 (Why is no real title available?)
• scientific article; zbMATH DE number 3567994 (Why is no real title available?)
• scientific article; zbMATH DE number 3448081 (Why is no real title available?)
• Data Types as Lattices
• Fully abstract models of typed \(\lambda\)-calculi
• Initial Algebra Semantics and Continuous Algebras
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus

Cited in

(2)

• Helly's selection theorem and the principle of local reflexivity of ordered type
• scientific article; zbMATH DE number 3850462 (Why is no real title available?)

Describes a project that uses

Uses Software

• ALGOL 68

This page was built for publication: The insensitivity theorem for nonreducing reflexive types

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