Pages that link to "Item:Q3677914"
From MaRDI portal
The following pages link to Pre-adjunctions and lambda-algebraic theories (Q3677914):
Displaying 3 items.
- Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus (Q1075312) (← 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)
- Pre-adjunctions and the Ramsey property (Q1746584) (← links)
