TY  - RPRT
TI  - Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis
AU  - František Farka
AU  - Ekaterina Komendantskya
AU  - Kevin Hammond
PY  - 2018
UR  - https://arxiv.org/abs/1804.11250
ID  - 1804.11250
ER  -