scientific article; zbMATH DE number 3902022
From MaRDI portal
Publication:3680264
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
Cited in
(17)- Functorial polymorphism
- Types, abstraction, and parametric polymorphism, part 2
- scientific article; zbMATH DE number 5885155 (Why is no real title available?)
- scientific article; zbMATH DE number 1670816 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 1722660 (Why is no real title available?)
- 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
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)
