Notions of Anonymous Existence in Martin-Löf Type Theory.

Nicolai Kraus Martín Escardó Thierry Coquand Thorsten Altenkirch

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

theoretical basis
general theory
data sets
real world
computer vision
image processing
expert systems
artificial neural networks
peer to peer