Type Theory and Formalisation of Mathematics.

Thierry Coquand

Published in: CSR (2017)

Keyphrases

computer algebra
computer science
theoretical framework
real time
artificial intelligence
computer vision
case study
search algorithm
information technology
computational models