C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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