Types, abstraction, and parametric polymorphism, part 2

DOI10.1007/3-540-55511-0_1zbMath1518.68061OpenAlexW1543071126MaRDI QIDQ6171748

John C. Reynolds, Unnamed Author

Publication date: 16 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-55511-0_1

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Related Items (7)

Semantic analysis of normalisation by evaluation for typed lambda calculus ⋮ Types as parameters ⋮ Parametric Polymorphism — Universally ⋮ A characterization of lambda definability in categorical models of implicit polymorphism ⋮ Synthetic domain theory and models of linear Abadi {\&} Plotkin logic ⋮ Cryptographic logical relations ⋮ Axiomatics for Data Refinement in Call by Value Programming Languages

Cites Work

• The semantics of second-order lambda calculus
• Functorial polymorphism
• Automatic synthesis of typed \(\Lambda\)-programs on term algebras
• The system \({\mathcal F}\) of variable types, fifteen years later
• A theory of type polymorphism in programming
• On functors expressible in the polymorphic typed lambda calculus
• Domain theoretic models of polymorphism
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Logical relations and the typed λ-calculus
• Categorical semantics for higher order polymorphic lambda calculus
• On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa
• Some algebraic problems in the context of functorial semantics of algebraic theories
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Types, abstraction, and parametric polymorphism, part 2