First-order identities as a defining language

• 1 October 1980
• journal article
• Published by Springer Nature in Acta Informatica
• Vol. 14  (4)
• https://doi.org/10.1007/bf00286491

Abstract

Keywords

• ORDER IDENTITIES
• ALGEBRAIC
• EVALUATION OF A PROGRAM
• PROGRAMMING LANGUAGE
• DEFINING LANGUAGE
• LANGUAGE INVERTING
• ADAGE
• SEMANTICALLY
• DATA TYPE