Regular Language Representations in the Constructive Type Theory of Coq.
Christian DoczkalGert SmolkaPublished in: J. Autom. Reason. (2018)
Keyphrases
- strongly typed
- formal theory
- theoretical basis
- programming language
- type checking
- speech acts
- formal languages
- natural language
- higher level
- context dependent
- mathematical theory
- context free
- operational semantics
- formal methods
- information retrieval
- theoretical foundation
- language learning
- database query languages
- language processing
- multiple types
- theoretical framework
- database systems
- case study
- information systems