The Glueing Construction and Lax Limits (1994)

by H Simmons
Venue:Math. Structures Comput. Sci