Translating a Fragment of Weak Type Theory into Type Theory with Open Terms.

Gueorgui I. Jojgov

Published in: MKM (2005)

Keyphrases

multiple types
theoretical framework
databases
computer vision
information systems
image sequences
multiscale
probabilistic model
theoretical foundation
theoretical basis