Pages that link to "Item:Q4029583"
From MaRDI portal
The following pages link to Categories of partial morphisms and the relation between type structures. Partial variations on a theme of Friedman and Statman (Q4029583):
Displaying 5 items.
- 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)
- Relating type-structures. Partial variations on a theme of Friedman and Statman (Q3026332) (← links)
- (Q4466806) (← links)
- Thickness, and a categoric view of type-space functors (Q4811307) (← links)