Pure Type Systems Formalized.

James McKinna Robert Pollack

Published in: TLCA (1993)

Keyphrases

complex systems
wide range
management system
distributed systems
computer systems
digital libraries
learning systems
e learning
database systems
similarity measure
reinforcement learning
preprocessing
expert systems