scientific article
From MaRDI portal
Publication:3714051
zbMath0587.03011MaRDI QIDQ3714051
Albert R. Meyer, Val Breazu-Tannen
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
proof theoryadjoint equivalencecartesian closed categoriesdomain equationscategory of typed lambda algebrasfinitely typed casetype-free casetyped lambda modelstypes satisfying arbitrary equational constraints
Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40) Abstract model theory (03C95)
Related Items (6)
The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus ⋮ Inductive types and type constraints in the second-order lambda calculus ⋮ On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory ⋮ Semantics of types for database objects ⋮ On sets of solutions to combinator equations ⋮ The semantics of second-order lambda calculus
This page was built for publication:
