Parametric quantifiers for dependent type theory.

Andreas Nuyts Andrea Vezzosi Dominique Devriese

Published in: Proc. ACM Program. Lang. (2017)

Keyphrases

theoretical framework
social networks
cooperative
general theory
computer vision
natural language
lower bound
information theory
theoretical basis
mathematical foundations