Partial Functions, Ordered Categories, Limits and Cartesian Closure (1993)

by C. Barry Jay
Venue:in: G. Birtwistle (ed), IV Higher Order Workshop
Citations:4 - 2 self