scientific article; zbMATH DE number 3882403

zbMATH Open0554.03011MaRDI QIDQ3216628FDOQ3216628

Albert R. Meyer, Kim B. Bruce

Publication date: 1984

Title of this publication is not available (Why is that?)

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 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)

Cited In (16)

• A modest model of records, inheritance, and bounded quantification
• Inductive types and type constraints in the second-order lambda calculus
• Counterpart semantics for a second-order \(\mu\)-calculus
• Functional sorts in data type specifications
• Title not available (Why is that?)
• Semantics of the second order lambda calculus
• Extensional models for polymorphism
• Typing and computational properties of lambda expressions
• On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The semantics of second-order lambda calculus
• Recursion over realizability structures
• Domain theoretic models of polymorphism
• Categorical semantics for higher order polymorphic lambda calculus

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)