Formalising a Turing-Complete Choreographic Language in Coq.
Luís Cruz-FilipeFabrizio MontesiMarco PeressottiPublished in: CoRR (2021)
Keyphrases
- programming language
- natural language
- language learning
- machine intelligence
- closed world
- turing machine
- language processing
- data structure
- multi agent
- probabilistic model
- object oriented
- decision trees
- context dependent
- knowledge base
- real world
- target language
- programming environment
- language acquisition
- real time
- database