Computational type theory.

Robert L. Constable

Published in: Scholarpedia (2009)

Keyphrases

theoretical framework
neural network
real world
website
medical images
computational model
decision theory
wide range
learning environment
linear programming
mathematical programming
computational power
general theory