A Constructive Approach to Freyd Categories
Posur, Sebastian (Corresponding author)
Dordrecht [u.a.] / Springer Science + Business Media B.V (2020, 2021) [Journal Article]
Applied categorical structures
Volume: 29
Issue: 1
Page(s): 171–211
Identifier
- DOI: 10.1007/s10485-020-09612-y
- REPORT NUMBER: RWTH-2020-10691