Basic Conceptual Structures Theory

• 1 January 1994
• book chapter
• Published by Springer Nature
• p. 144-159
• https://doi.org/10.1007/3-540-58328-9_10

Abstract

Keywords

• FORMALIZATION OF CS THEORY
• HIGHER-ORDER CONCEPT AND RELATION TYPES
• TYPE AND MARKER HIERARCHIES
• METALEVEL AND INSTANCE LEVEL