Pages that link to "Item:Q1398462"

The following pages link to Restriction categories II: Partial map classification (Q1398462):

Displaying 32 items.

• Join inverse categories and reversible recursion (Q511931) (← links)
• Categorical simulations (Q964545) (← links)
• Introduction to Turing categories (Q998306) (← links)
• An equational notion of lifting monad (Q1398461) (← links)
• The PBPO graph transformation approach (Q1734525) (← links)
• Algebraic graph rewriting with controlled embedding (Q2007726) (← links)
• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
• Concurrency theorems for non-linear rewriting theories (Q2117255) (← links)
• A categorical foundation for structured reversible flowchart languages (Q2130590) (← links)
• Condition/decision duality and the internal logic of extensive restriction categories (Q2133172) (← links)
• From reversible programming languages to reversible metalanguages (Q2139051) (← links)
• The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
• Presheaves over a join restriction category (Q2423834) (← links)
• Restriction categories as enriched categories (Q2435310) (← links)
• Join Inverse Categories as Models of Reversible Recursion (Q2811333) (← links)
• AGREE – Algebraic Graph Rewriting with Controlled Embedding (Q2947209) (← links)
• Many-one reductions and the category of multivalued functions (Q2973252) (← links)
• Parallelism in AGREE Transformations (Q3187802) (← links)
• Cocompletion of restriction categories (Q3294959) (← links)
• PARTIALIZATION OF CATEGORIES AND INVERSE BRAID-PERMUTATION MONOIDS (Q3545893) (← links)
• Boolean and classical restriction categories (Q3625678) (← links)
• A categorical foundation for structured reversible flowchart languages: Soundness and adequacy (Q4585070) (← links)
• Deforestation, program transformation, and cut-elimination (Q4917034) (← links)
• Partial Recursive Functions and Finality (Q4922089) (← links)
• (Q5020536) (← links)
• Partiality and Container Monads (Q5056003) (← links)
• Inclusions for partiality (Q5740618) (← links)
• Restriction categories III: colimits, partial limits and extensivity (Q5756980) (← links)
• Restriction categories. I: Categories of partial maps (Q5958307) (← links)
• Fundamentals of compositional rewriting theory (Q6052944) (← links)
• From gs-monoidal to oplax cartesian categories: constructions and functorial completeness (Q6077384) (← links)
• Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes (Q6156939) (← links)