Login / Signup
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