Semantics of a metalogic programming language (1990)

by Stefania Costantini
Venue:International Journal of Foundations of Computer Science