scientific article; zbMATH DE number 3882403
From MaRDI portal
Publication:3216628
zbMATH Open0554.03011MaRDI QIDQ3216628FDOQ3216628
Authors: Kim B. Bruce, Albert R. Meyer 
Publication date: 1984
Title of this publication is not available (Why is that?)
Recommendations
denotational semanticspolymorphic lambda calculussecond order lambda expressionsemantics of computer languages
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)
