Foundations are rich institutions, but institutions are poor foundations (1989)

by A Poign'e
Venue:Categorical Methods in Computer Science, With Aspects from Topology, LNCS 393, 82--101