The following pages link to (Q3659756):
Displaying 8 items.
- Lambda abstraction algebras: representation theorems (Q674002) (← links)
- An abstract framework for environment machines (Q804281) (← links)
- A category-theoretic characterization of functional completeness (Q912587) (← links)
- Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus (Q1075312) (← links)
- Algebra of constructions. I. The word problem for partial algebras (Q1107515) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- A finite equational axiomatization of the functional algebras for the lambda calculus (Q1283777) (← links)
- On the algebraic models of lambda calculus (Q1583488) (← links)
