A categorical account of two-level languages

• 1 January 1997
• journal article
• Published by Elsevier in Electronic Notes in Theoretical Computer Science
• Vol. 6, 272
• https://doi.org/10.1016/s1571-0661(05)80155-0

Abstract

Keywords

• ACCOUNT
• LEVEL LANGUAGES
• CATEGORICAL
• ANALOGIES
• GIVE
• PARTIAL
• LOGIC.THIS
• PRECISE
• SPECIALIZATION