Laurent Thiry, Frédéric Fondement, Pierre-Alain Muller. Categorical Reasoning about Meta-models. In Tiziana Margaria, Zongyan Qiu, Hongli Yang, editors, Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China. pages 275-278, IEEE, 2012. [doi]
@inproceedings{ThiryFM12,
title = {Categorical Reasoning about Meta-models},
author = {Laurent Thiry and Frédéric Fondement and Pierre-Alain Muller},
year = {2012},
doi = {10.1109/TASE.2012.23},
url = {http://doi.ieeecomputersociety.org/10.1109/TASE.2012.23},
researchr = {https://researchr.org/publication/ThiryFM12},
cites = {0},
citedby = {0},
pages = {275-278},
booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China},
editor = {Tiziana Margaria and Zongyan Qiu and Hongli Yang},
publisher = {IEEE},
isbn = {978-0-7695-4751-0},
}