Practical Sized Typing for Coq.

Jonathan Chan William J. Bowman

Published in: CoRR (2019)

Keyphrases

real world
information retrieval
decision making
cooperative
data model
artificial intelligence
similarity measure
video sequences
practical application
practical problems