A Lisp Way to Type Theory and Formal Proofs.

Frédéric Peschanski

Published in: ELS (2017)

Keyphrases

formal proofs
learning theory
theoretical basis
theoretical framework
information theory
computational model
knowledge representation
conceptual framework
computational models
real world
multiresolution
artificial neural networks
learning environment
website
image processing
information systems
machine learning