Pages that link to "Item:Q1075312"
From MaRDI portal
The following pages link to Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus (Q1075312):
Displaying 15 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)
- Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract) (Q1798794) (← links)
- Adjunction in the absence of identity (Q2667934) (← links)
- (Q3385638) (← 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)
- On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa (Q5096261) (← links)
- CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES (Q5249254) (← links)