A Non-Type-Theoretic Definition of Martin-Löf's Types

Published in: LICS (1987)

Keyphrases

artificial intelligence
multiple types
database
databases
information retrieval
learning algorithm
decision making
image processing
image sequences
optimal solution
computational complexity
type definitions