Order-enrichment for categories of partial maps
DOI10.1017/S0960129500001225zbMATH Open0848.18002MaRDI QIDQ4882490FDOQ4882490
Authors: Marcelo P. Fiore
Publication date: 21 October 1996
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Recommendations
domain theoryspecializationcategory of partial mapsaxiom of uniformitycategory of total mapscontextual approximationoperational semantics of programs
Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55) Enriched categories (over closed or monoidal categories) (18D20)
Cites Work
Cited In (6)
This page was built for publication: Order-enrichment for categories of partial maps
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4882490)