Formalising a Turing-Complete Choreographic Language in Coq.

Luís Cruz-Filipe Fabrizio Montesi Marco Peressotti

Published in: ITP (2021)

Keyphrases

programming language
turing machine
specification language
natural language
general purpose
information retrieval
language learning
programming environment
real time
information systems
metadata
decision trees
case study
modeling language
machine intelligence
language processing
neural network
definition language