A functional proof pearl: inverting the Ackermann hierarchy.

Linh Tran Anshuman Mohan Aquinas Hobor

Published in: CPP (2020)

Keyphrases

theorem prover
functional language
hierarchical structure
conditional independence
database
theorem proving
causal models
artificial intelligence
decision trees
evolutionary algorithm
tree structure
belief revision
functional analysis
mathematical proofs