Modeling computations: a 2-categorical framework (1987)

by R Seely
Venue:In IEEE Symposium on Logic in Computer Science