Pages that link to "Item:Q1075312"

The following pages link to Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus (Q1075312):

Displaying 7 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)
• On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa (Q5096261) (← links)