scientific article

zbMath0565.68029MaRDI QIDQ3680264

John C. Mitchell, Albert R. Meyer

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items (8)

Inductively defined types in the Calculus of Constructions ⋮ Parametricity of extensionally collapsed term models of polymorphism and their categorical properties ⋮ Types, abstraction, and parametric polymorphism, part 2 ⋮ A characterization of lambda definability in categorical models of implicit polymorphism ⋮ Extensional models for polymorphism ⋮ The semantics of second-order lambda calculus ⋮ Functorial polymorphism ⋮ Lightweight Static Capabilities

This page was built for publication: