A Theory of Primitive Objects: Untyped and First-Order Systems

• 1 March 1996
• journal article
• Published by Elsevier in Information and Computation
• Vol. 125  (2) , 78-102
• https://doi.org/10.1006/inco.1996.0024

Abstract

Keywords

• PRIMITIVE OBJECTS
• ORDER SYSTEMS
• THEORY OF PRIMITIVE
• UNTYPED AND FIRST ORDER