Pages that link to "Item:Q1109126"
From MaRDI portal
The following pages link to Partial morphisms in categories of effective objects (Q1109126):
Displaying 11 items.
- Introduction to Turing categories (Q998306) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← 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)
- Game theoretic analysis of call-by-value computation (Q4571955) (← links)
