Correctness of the vanilla meta-interpreter and ambivalent syntax

Authors
  • M.B. Kalsbeek
Publication date 1995
Host editors
  • F. Turini
  • K.R. Apt
Book title Meta-logics and Logic Programming
Pages (from-to) 3-26
Publisher Cambridge, Massachussets: The MIT Press
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back