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