R. A. G. Seely. Modelling Computations: A 2-Categorical Framework. In Proceedings, Symposium on Logic in Computer Science, 22-25 June 1987, Ithaca, New York, USA. pages 65-71, IEEE Computer Society, 1987.
@inproceedings{Seely87,
title = {Modelling Computations: A 2-Categorical Framework},
author = {R. A. G. Seely},
year = {1987},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/Seely87},
cites = {0},
citedby = {0},
pages = {65-71},
booktitle = {Proceedings, Symposium on Logic in Computer Science, 22-25 June 1987, Ithaca, New York, USA},
publisher = {IEEE Computer Society},
}