Partial map classifiers and partial cartesian closed categories
From MaRDI portal
Publication:1349664
DOI10.1016/0304-3975(94)00124-2zbMath0874.68183MaRDI QIDQ1349664
Publication date: 27 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(94)00124-2
68Q55: Semantics in the theory of computing
Related Items
Restriction categories. I: Categories of partial maps, Restriction categories II: Partial map classification, Lifting results for categories of algebras
Cites Work