Login / Signup
Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving.
Dmitriy Traytel
Andrei Popescu
Jasmin Christian Blanchette
Published in:
LICS (2012)
Keyphrases
</>
theorem proving
theorem prover
higher order logic
data types
first order logic
automated reasoning
inference rules
equational theories
proof planning
parallel search
decision procedures
proof procedure
term rewriting
machine learning
database management systems
pairwise
artificial intelligence
database