scientific article
From MaRDI portal
Publication:3659756
zbMath0514.03010MaRDI QIDQ3659756
Adam Obtułowicz, Antoni Wiweger
Publication date: 1982
Full work available at URL: https://eudml.org/doc/209245
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theories (e.g., algebraic theories), structure, and semantics (18C10) Combinatory logic and lambda calculus (03B40) Other model constructions (03C30)
Related Items
Algebra of constructions. I. The word problem for partial algebras, On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory, A category-theoretic characterization of functional completeness, Lambda abstraction algebras: representation theorems, A finite equational axiomatization of the functional algebras for the lambda calculus, On the algebraic models of lambda calculus, An abstract framework for environment machines, Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
