Constructions: A Higher Order Proof System for Mechanizing Mathematics.

Thierry Coquand Gérard P. Huet

Published in: European Conference on Computer Algebra (1) (1985)

Keyphrases

higher order
high order
natural images
markov models
computer science
markov random field
modal logic
pairwise
conditional random fields
low order
lower order
database
knowledge base
intuitionistic logic
mathematical knowledge
computer algebra
search procedure
search space
object recognition
data sets