Publication:3714051
From MaRDI portal
zbMath0587.03011MaRDI QIDQ3714051
Val Breazu-Tannen, Albert R. Meyer
Publication date: 1985
proof theory; adjoint equivalence; cartesian closed categories; domain equations; category of typed lambda algebras; finitely typed case; type-free case; typed lambda models; types satisfying arbitrary equational constraints
03G30: Categorical logic, topoi
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
03B40: Combinatory logic and lambda calculus
03C95: Abstract model theory
Related Items
On sets of solutions to combinator equations, The semantics of second-order lambda calculus, Semantics of types for database objects, On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory, The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus, Inductive types and type constraints in the second-order lambda calculus