Coherence completions of categories and their enriched softness (1997)

by H Hu, A Joyal
Venue:Proceedings, Mathematical Foundations of Programming Semantics, Thirteenth Annual Conference, Electronic Notes in Theoretical Computer Science 6