Coq à la carte: a practical approach to modular syntax with binders.

Yannick Forster Kathrin Stark

Published in: CPP (2020)

Keyphrases

formal methods
theorem prover
context free grammars
modular structure
data sets
high level
digital libraries
predicate calculus
bayesian networks
multiscale
information technology
modular architecture
lexical semantics
modular neural networks
syntactic semantic