Limit preservation from naturality (2005)

by M Caccamo, G Winskel
Venue:CTCS’04, ENTCS 122