scientific article; zbMATH DE number 512792
From MaRDI portal
Publication:4281485
zbMath0788.68091MaRDI QIDQ4281485
Martín Abadi, Gordon D. Plotkin
Publication date: 2 June 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)
Related Items (27)
Automata-theoretic semantics of idealized Algol with passive expressions ⋮ Logical relations and parametricity -- a Reynolds programme for category theory and programming languages ⋮ Deriving logical relations from interpretations of predicate logic ⋮ The Girard-Reynolds isomorphism ⋮ Parametricity as isomorphism ⋮ Unnamed Item ⋮ A fibrational framework for possible-world semantics of \textsc{Algol}-like languages ⋮ The Girard-Reynolds isomorphism (second edition) ⋮ An observationally complete program logic for imperative higher-order functions ⋮ Abstraction for concurrent objects ⋮ Proof Nets, Coends and the Yoneda Isomorphism ⋮ Universal properties for universal types in bifibrational parametricity ⋮ Bifibrational functorial semantics of parametric polymorphism ⋮ Polynat in PER models ⋮ Domain-theoretical models of parametric polymorphism ⋮ Synthetic domain theory and models of linear Abadi {\&} Plotkin logic ⋮ From Algebras and Coalgebras to Dialgebras ⋮ A game semantics for generic polymorphism ⋮ Composing dinatural transformations: towards a calculus of substitution ⋮ Unnamed Item ⋮ Comprehensive Parametric Polymorphism: Categorical Models and Type Theory ⋮ Structural induction and coinduction in a fibrational setting ⋮ Unnamed Item ⋮ Objects and classes in Algol-like languages ⋮ Syntactic Logical Relations for Polymorphic and Recursive Types ⋮ Formal parametric polymorphism ⋮ The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus
This page was built for publication:
