A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction.
Thierry CoquandGérard P. HuetPublished in: J. Symb. Comput. (1985)
Keyphrases
- higher order
- computer algebra
- theorem prover
- theoretical framework
- anti unification
- high order
- pairwise
- theoretical basis
- markov random field
- conditional random fields
- linear logic
- deductive reasoning
- natural images
- computer science
- data sets
- database
- lambda calculus
- computer assisted instruction
- decision theory
- inference rules