scientific article; zbMATH DE number 3882403

MaRDI QIDQ3216628zbMATH OpenFDO

Authors Kim B. Bruce, Albert R. Meyer

Publication date 1984

zbMATH Keywords

denotational semanticspolymorphic lambda calculussecond order lambda expressionsemantics of computer languages

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Models of other mathematical theories (03C65) Semantics in the theory of computing (68Q55)

Recommendations

• The semantics of second-order lambda calculus
• scientific article; zbMATH DE number 937388
• Categorical semantics for higher order polymorphic lambda calculus
• scientific article; zbMATH DE number 3882404
• scientific article; zbMATH DE number 4051568

Cited in

(17)

• Recursion over realizability structures
• Typing and computational properties of lambda expressions
• Domain theoretic models of polymorphism
• A denotational semantics of LC2
• Inductive types and type constraints in the second-order lambda calculus
• Counterpart semantics for a second-order -calculus
• scientific article; zbMATH DE number 3882404 (Why is no real title available?)
• scientific article; zbMATH DE number 4158597 (Why is no real title available?)
• Categorical semantics for higher order polymorphic lambda calculus
• scientific article; zbMATH DE number 4051567 (Why is no real title available?)
• scientific article; zbMATH DE number 4051568 (Why is no real title available?)
• Semantics of the second order lambda calculus
• Functional sorts in data type specifications
• On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa
• Extensional models for polymorphism
• The semantics of second-order lambda calculus
• A modest model of records, inheritance, and bounded quantification

This page was built for publication:

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