Experience Implementing a Performant Category-Theory Library in Coq.

Jason Gross Adam Chlipala David I. Spivak

Published in: CoRR (2014)

Keyphrases

formal methods
theoretical framework
information retrieval
artificial neural networks
efficient implementation
information theory
database
databases
real world
artificial intelligence
search algorithm
computational models