Type Theory as a Language Workbench.
Jan de Muijnck-HughesGuillaume AllaisEdwin C. BradyPublished in: CoRR (2023)
Keyphrases
- language learning
- strongly typed
- formal theory
- type checking
- programming language
- theoretical framework
- artificial intelligence
- natural language
- information theory
- theoretical foundation
- english language
- theoretical basis
- website
- information systems
- data mining
- database
- computational model
- speech acts
- general theory
- expert systems
- mathematical theory
- formal languages
- real world