Experience with Type Theory as a Foundation for Computer Science

Robert L. Constable

Published in: LICS (1995)

Keyphrases

computer science
theoretical foundation
theoretical framework
theoretical basis
database
neural network
artificial intelligence
lecture notes
social sciences
decision trees
learning environment
information theory
computer scientists
selected papers
general theory
statistical physics