Bar Induction is Compatible with Constructive Type Theory.

Vincent Rahli Mark Bickford Liron Cohen Robert L. Constable

Published in: J. ACM (2019)

Keyphrases

theoretical basis
program synthesis
databases
machine learning
bayesian networks
theoretical foundation
subgroup discovery
genetic algorithm
case study
probabilistic model
computational model
inductive reasoning