Pages that link to "Item:Q1075312"
From MaRDI portal
The following pages link to Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus (Q1075312):
Displayed 10 items.
- Comparing models of the intensional typed \(\lambda\)-calculus (Q671646) (← links)
- A category-theoretic characterization of functional completeness (Q912587) (← 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 in order enriched categories (Q4006227) (← links)
- Semantics of the second order lambda calculus (Q4006235) (← links)
- (Q4029342) (← links)
- The theory of semi-functors (Q4279250) (← links)
- Categorical models for non-extensional λ-calculi and combinatory logic (Q4279260) (← links)
- A categorical understanding of environment machines (Q4763978) (← links)
- A remark on the theory of semi-functors (Q4847309) (← links)