Clavel and Jos'e Meseguer. Axiomatizing reflective logics and languages (1996)

by G Manuel
Venue:Proceedings of Reflection'96