Regular language type inference with term rewriting.

Timothée Haudebourg Thomas Genet Thomas P. Jensen

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

term rewriting
operational semantics
strongly typed
theorem prover
theorem proving
type checking
regular languages
rewrite systems
bayesian networks
natural language
programming language
language learning
formal semantics
database
multi agent
knuth bendix