Two-Level Grammar as an Implementable Metalanguage for Axiomatic Semantics

Barrett R. Bryant, Balanjaninath Edupuganty, Lee S. Hull. Two-Level Grammar as an Implementable Metalanguage for Axiomatic Semantics. Computer Languages, Systems \& Structures, 11(3/4):173-191, 1986.

Abstract

Abstract is missing.