Constructing quotient inductive-inductive types.

Ambrus Kaposi András Kovács Thorsten Altenkirch

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

inductive learning
inductive logic programming
machine learning
concept learning
inductive reasoning
website
three dimensional
machine intelligence
case study
cooperative
user interface
rule learning
functional programs