Strongly Typed Term Representations in Coq.

Nick Benton Chung-Kil Hur Andrew Kennedy Conor McBride

Published in: J. Autom. Reason. (2012)

Keyphrases

strongly typed
programming language
multiple representations
general purpose
neural network
learning algorithm
information systems
software engineering
language model
knowledge based systems
symbolic representation
representation scheme
formal methods