Impredicative Encodings of (Higher) Inductive Types.

Steve Awodey Jonas Frey Sam Speight

Published in: LICS (2018)

Keyphrases

database
machine learning
decision making
image processing
knowledge representation
real time
databases
information systems
e learning
database systems
high quality
domain independent
inductive logic programming
planning problems
significantly higher
non binary