A Probabilistic and Non-Deterministic Call-by-Push-Value Language.

Jean Goubault-Larrecq

Published in: LICS (2019)

Keyphrases

information theoretic
language learning
finite state automaton
programming language
natural language
representation language
database
machine learning
data driven
genetic algorithm
artificial intelligence
information systems
bayesian networks
generative model
operational semantics
turing machine