On the Semantics of Coinductive Types in Martin-Löf Type Theory.
Federico De MarchiPublished in: CALCO (2005)
Keyphrases
- multiple types
- theoretical framework
- speech acts
- formal semantics
- general theory
- closed world assumption
- logical properties
- formal theory
- model theoretic
- semantic information
- computational model
- operational semantics
- logic programming
- image processing
- artificial intelligence
- abstract argumentation
- learning algorithm