Categorical Reasoning about Meta-models

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]

Authors

Laurent Thiry

This author has not been identified. Look up 'Laurent Thiry' in Google

Frédéric Fondement

This author has not been identified. Look up 'Frédéric Fondement' in Google

Pierre-Alain Muller

This author has not been identified. It may be one of the following persons: Look up 'Pierre-Alain Muller' in Google