Partial map classifiers and partial cartesian closed categories
type: Item
instance of: scholarly article
title: Partial map classifiers and partial cartesian closed categories
zbMATH Open document ID: 0874.68183
DOI: 10.1016/0304-3975(94)00124-2
author: Philip S. Mulry
published in: Theoretical Computer Science
publication date: 1997-02-27T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 983727
MaRDI profile type: Publication
full work available at URL: 0304-3975(94)00124-2
OpenAlex ID: W2094537092
cites work: Q3997112
cites work: Q3978971
cites work: Extensional PERs
cites work: Q4145861
cites work: Partial morphisms in categories of effective objects
cites work: Generalized Banach-Mazur functionals in the topos of recursive sets
cites work: Monads and algebras in the semantics of partial data types
cites work: Lifting results for categories of algebras
cites work: Q3832739
Recommended article: Q3832739
Recommended article: Categories of partial maps
Recommended article: Q4714248
Recommended article: Q3767474
Recommended article: Another Cartesian closed category of partial algebras
Recommended article: Q3977992
Recommended article: Cartesian closed categories of algebraic cpos
Recommended article: Q3764126
Recommended article: Restriction categories. I: Categories of partial maps
Recommended article: Q4240502
description: scientific article; zbMATH DE number 983727