Paracategories I: internal paracategories and saturated partial algebras (2003)

by C Hermida, P Mateus
Venue:Theoretical Computer Science