Pages that link to "Item:Q1109126"
From MaRDI portal
The following pages link to Partial morphisms in categories of effective objects (Q1109126):
Displaying 18 items.
- Filtered colimits in the effective topos (Q819805) (← links)
- Introduction to Turing categories (Q998306) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- A category of enumerated sets (Q1060214) (← links)
- Recursion over realizability structures (Q1173956) (← links)
- Partial map classifiers and partial cartesian closed categories (Q1349664) (← links)
- An equational notion of lifting monad (Q1398461) (← links)
- Game-theoretic analysis of call-by-value computation (Q1960532) (← links)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- Boolean restriction categories and taut monads (Q2503320) (← links)
- Classifying categories for partial equational logic (Q2842828) (← links)
- Unitary Theories, Unitary Categories (Q3178243) (← links)
- (Q3305542) (← links)
- The Discrete Objects in the Effective Topos (Q3481914) (← links)
- Cartesian closed categories of enumerations for effective type structures (Q3677755) (← links)
- Constructivity of Endofunctors on Categories of Partial Enumerated Sets I. General Results (Q3990703) (← links)
- Game theoretic analysis of call-by-value computation (Q4571955) (← links)
- Categories of functors between categories with partial morphisms (Q5476505) (← links)