Classical Type Theory.

Maria Napierala

Published in: Constructivity in Computer Science (1991)

Keyphrases

theoretical framework
theoretical basis
quantum mechanics
data sets
computational model
probability theory
neural network
data mining
real time
machine learning
multiscale
special case
medical images