Formalization of a lamda-Calculus with Explicit Substitutions in Coq.

Amokrane Saïbi

Published in: TYPES (1994)

Keyphrases

knowledge representation
formal model
computer algebra
neural network
computer vision
image processing
relational databases
hidden markov models
dynamic programming
theorem prover
automated deduction
explicitly represented