scientific article

zbMath0632.03013MaRDI QIDQ3768869

R. A. G. Seely

Publication date: 1986

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

zbMATH Keywords

polymorphic lambda calculuscategorical semanticsequivalence of categoriestype theoriesP\(\omega \) model

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Combinatory logic and lambda calculus (03B40)

Related Items (6)

A small complete category ⋮ On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory ⋮ Dictoses ⋮ Extensional models for polymorphism ⋮ The semantics of second-order lambda calculus ⋮ Domain theoretic models of polymorphism

This page was built for publication: