scientific article; zbMATH DE number 3882403

MaRDI QIDQ3216628zbMATHFDO

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) Semantics in the theory of computing (68Q55) Models of other mathematical theories (03C65)

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

(16)

• Categorical semantics for higher order polymorphic lambda calculus
• Semantics of the second order lambda calculus
• Inductive types and type constraints in the second-order lambda calculus
• A modest model of records, inheritance, and bounded quantification
• Counterpart semantics for a second-order \(\mu\)-calculus
• Typing and computational properties of lambda expressions
• scientific article; zbMATH DE number 4158597 (Why is no real title available?)
• scientific article; zbMATH DE number 4051567 (Why is no real title available?)
• scientific article; zbMATH DE number 4051568 (Why is no real title available?)
• Domain theoretic models of polymorphism
• The semantics of second-order lambda calculus
• Recursion over realizability structures
• Extensional models for polymorphism
• scientific article; zbMATH DE number 3882404 (Why is no real title available?)
• 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

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)