Semantics for two-dimensional type theory.
Benedikt AhrensPaige Randall NorthNiels van der WeidePublished in: CoRR (2022)
Keyphrases
- three dimensional
- general theory
- theoretical framework
- model theoretic
- formal semantics
- abstract argumentation frameworks
- speech acts
- theoretical basis
- theoretical foundation
- logic programming
- object oriented
- formal theory
- decision theory
- three dimensional objects
- operational semantics
- algebraic structure
- knowledge representation