Type Theory as a Foundation for Computer Science.

Robert L. Constable

Published in: TACS (1991)

Keyphrases

computer science
data mining
general theory
theoretical framework
artificial intelligence
theoretical foundation
lecture notes
information theory
theoretical basis
real time
information systems
database systems
learning environment
social sciences
computer scientists
computer architecture
information science