scientific article; zbMATH DE number 3902022

zbMATH Open0565.68029MaRDI QIDQ3680264FDOQ3680264

Authors: John Mitchell, Albert R. Meyer 

Publication date: 1985

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

Recommendations

• scientific article; zbMATH DE number 1984507
• Second-order logic on equivalence relations
• scientific article; zbMATH DE number 5885155
• scientific article; zbMATH DE number 1550339
• Relational model of second order linear logic
• scientific article; zbMATH DE number 1722660
• Pure second-order logic
• Second-order reasoning in description logics
• scientific article; zbMATH DE number 816222

zbMATH Keywords

representation independencesecond-order typed lambda calculusmodels of typed lambda calculussemantic characterization of second-order lambda definability

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Abstract data types; algebraic specification (68Q65)

Cited In (17)

• Types, abstraction, and parametric polymorphism, part 2
• Title not available (Why is that?)
• Title not available (Why is that?)
• Extensional models for polymorphism
• Lightweight static capabilities
• Logical relations for a logical framework
• The semantics of second-order lambda calculus
• Inductively defined types in the Calculus of Constructions
• Syntactic logical relations for polymorphic and recursive types
• Mechanizing logical relations
• Title not available (Why is that?)
• Kripke logical relations and PCF
• Parametricity of extensionally collapsed term models of polymorphism and their categorical properties
• On the versatility of open logical relations. Continuity, automatic differentiation, and a containment theorem
• Logical relations and the typed λ-calculus
• A characterization of lambda definability in categorical models of implicit polymorphism
• Functorial polymorphism

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