Typing in Pure Type Systems

L. S. van Benthem Jutting

Published in: Inf. Comput. (1993)

Keyphrases

computer systems
database
three dimensional
management system
knowledge based systems
genetic algorithm
image sequences
bayesian networks
expert systems