Categorical Reasoning about Meta-models.

Laurent Thiry, Frdric Fondement, Pierre-Alain Muller

Browse the full TASE paper archive.