1 result

Blute, Richard; Cockett, J.R.B.; Porter, Timothy; Seely, R.A.G.

Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 52 (2011), no. 2, p. 253-268