The Theory of Contexts for First Order and Higher Order Abstract Syntax.

Furio Honsell Marino Miculan Ivan Scagnetto

Published in: Electron. Notes Theor. Comput. Sci. (2001)

Keyphrases

higher order
high order
natural images
low order
high level
theoretical framework
general theory
theoretical basis
lower order
pairwise
low level
conditional random fields
action theories
formal theory
quantifier elimination