Paper: Modelling Computations: A 2-Categorical Framework (at LICS 1987)
Authors: R. A. G. SeelyAbstract
No Abstract Available
BibTeX
@InProceedings{Seely-ModellingComputatio, author = {R. A. G. Seely}, title = {Modelling Computations: A 2-Categorical Framework}, booktitle = {Proceedings of the Second Annual IEEE Symp. on Logic in Computer Science, {LICS} 1987}, year = 1987, editor = {David Gries}, month = {June}, pages = {65--71}, location = {Ithaca, NY, USA}, publisher = {IEEE Computer Society Press} }