An algebraic specification of a reflective language.

Masahito Kurihara, Azuma Ohuchi

Browse the full COMPSAC paper archive.