Inverse Scope as Metalinguistic Quotation in Operational Semantics

Chung-chieh Shan. Inverse Scope as Metalinguistic Quotation in Operational Semantics. In Ken Satoh, Akihiro Inokuchi, Katashi Nagao, Takahiro Kawamura, editors, New Frontiers in Artificial Intelligence, JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers. Volume 4914 of Lecture Notes in Computer Science, pages 123-134, Springer, 2007. [doi]

Abstract

Abstract is missing.