Pages that link to "Item:Q3677755"
From MaRDI portal
The following pages link to Cartesian closed categories of enumerations for effective type structures (Q3677755):
Displaying 21 items.
- E-ccc: between ccc and topos, - its expressive power from the viewpoint of data type theory (Q908685) (← links)
- A categorial approach to the theory of computation (Q911584) (← links)
- A category-theoretic characterization of functional completeness (Q912587) (← links)
- Introduction to Turing categories (Q998306) (← links)
- Partial morphisms in categories of effective objects (Q1109126) (← links)
- Categories of partial maps (Q1109871) (← links)
- E-ccc: Between ccc and topos (Q1117018) (← 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)
- Partiality, cartesian closedness, and toposes (Q1121368) (← links)
- Game-theoretic analysis of call-by-value computation (Q1960532) (← links)
- Boolean restriction categories and taut monads (Q2503320) (← links)
- Cartesian closed 2-categories and permutation equivalence in higher-order rewriting (Q2846582) (← links)
- Many-one reductions and the category of multivalued functions (Q2973252) (← links)
- Cocompletion of restriction categories (Q3294959) (← links)
- From numbered sets to type theories (Q3478383) (← links)
- (Q3760508) (← links)
- Constructive and Locally Constructive Endofunctors on the Category of Enumerated Sets (Q3792683) (← links)
- Pre-adjunctions in order enriched categories (Q4006227) (← links)
- Categories of partial morphisms and the relation between type structures. Partial variations on a theme of Friedman and Statman (Q4029583) (← links)
- (Q4282541) (← links)
- Game theoretic analysis of call-by-value computation (Q4571955) (← links)
