Bicategorical type theory: semantics and syntax.
Benedikt AhrensPaige Randall NorthNiels van der WeidePublished in: Math. Struct. Comput. Sci. (2023)
Keyphrases
- general theory
- operational semantics
- theoretical framework
- type checking
- theoretical basis
- machine processable
- closed world assumption
- high level
- abstract argumentation
- computational model
- logical properties
- semantic representation
- attribute grammars
- definition language
- speech acts
- databases
- default reasoning
- logic programming
- natural language
- artificial intelligence
- neural network