A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus.

Serge Autexier Claudio Sacerdoti Coen

Published in: MKM (2006)

Keyphrases

lambda calculus
predicate calculus
programming language
theorem proving
formal model
database query languages
higher order
knowledge base
model based diagnosis