Sign in

Bar Induction is Compatible with Constructive Type Theory.

Vincent RahliMark BickfordLiron CohenRobert 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