The following pages link to Categories of partial maps (Q1109871):
Displaying 50 items.
- Join inverse categories and reversible recursion (Q511931) (← links)
- Mapping spaces in quasi-categories (Q618741) (← links)
- Partial inner product spaces: some categorical aspects (Q666342) (← links)
- Relational graph rewritings (Q673789) (← links)
- Tail recursion through universal invariants (Q685396) (← links)
- Algebraic approach to single-pushout graph transformation (Q685460) (← links)
- Partial pushout semantics of generics in DOL (Q724938) (← links)
- Unfolding semantics of graph transformation (Q879600) (← links)
- A category-theoretic characterization of functional completeness (Q912587) (← links)
- Introduction to Turing categories (Q998306) (← links)
- Mehrfache Partialisierung von Kategorien. (Multiple partialization of categories) (Q1090753) (← links)
- Partial morphisms in categories of effective objects (Q1109126) (← links)
- ``Pathologies'' in two syntactic categories of partial maps (Q1115866) (← 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)
- Semantics of weakening and contraction (Q1337357) (← links)
- Partial map classifiers and partial cartesian closed categories (Q1349664) (← links)
- An equational notion of lifting monad (Q1398461) (← links)
- Restriction categories II: Partial map classification (Q1398462) (← links)
- Modelling environments in call-by-value programming languages. (Q1427853) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Normal forms for algebras of connections. (Q1853455) (← links)
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax. (Q1853456) (← links)
- Paracategories. I: Internal paracategories and saturated partial algebras (Q1884899) (← links)
- Single pushout rewriting in comprehensive systems of graph-like structures (Q2049985) (← links)
- Comprehensive systems: a formal foundation for multi-model consistency management (Q2065549) (← links)
- The stable category of preorders in a pretopos. II: The universal property (Q2088041) (← links)
- Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs (Q2192461) (← links)
- Monographs, a category of graph structures (Q2237337) (← links)
- Formalizing abstract computability: Turing categories in Coq (Q2333325) (← links)
- Map composition generalized to coherent collections of maps. (Q2355647) (← links)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- Mahavier completeness and classifying diagrams (Q2401737) (← links)
- Presheaves over a join restriction category (Q2423834) (← links)
- Restriction categories as enriched categories (Q2435310) (← links)
- Boolean restriction categories and taut monads (Q2503320) (← links)
- A characterization of generalized existential completions (Q2683780) (← links)
- Partial topological products in \({\mathcal {MAP}}\) (Q2731095) (← links)
- Join Inverse Categories as Models of Reversible Recursion (Q2811333) (← links)
- Classifying categories for partial equational logic (Q2842828) (← links)
- Van Kampen Colimits as Bicolimits in Span (Q2888497) (← links)
- Unfolding Grammars in Adhesive Categories (Q2888498) (← links)
- Range categories. I: General theory (Q2919772) (← links)
- Range categories II: Towards regularity (Q2919773) (← links)
- Cartesian differential categories revisited (Q2973248) (← links)
- Many-one reductions and the category of multivalued functions (Q2973252) (← links)
- Unitary Theories, Unitary Categories (Q3178243) (← links)
- Timed Sets, Functional Complexity, and Computability (Q3178279) (← links)
- (Q3209334) (← links)
- Cocompletion of restriction categories (Q3294959) (← links)
