Pages that link to "Item:Q3677914"
From MaRDI portal
The following pages link to Pre-adjunctions and lambda-algebraic theories (Q3677914):
Displaying 4 items.
- Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse (Q499078) (← links)
- 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)