On the declarative and procedural semantics of definite metalogic programs

DOI10.1093/LOGCOM/6.3.363zbMath0851.68011OpenAlexW2049106193MaRDI QIDQ4885624

Christopher P. Higgins

Publication date: 28 July 1996

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/ba39acf55366620de08effa63d0adce0be853449

zbMATH Keywords

amalgamationprocedural semanticsmetalanguageobject languagedefinite metalogic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming

This page was built for publication: On the declarative and procedural semantics of definite metalogic programs