Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis.
Saved in:
| Title: | Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis. |
|---|---|
| Authors: | FARKA, FRANTIŠEK1 ff12@st-andrews.ac.uk, KOMENDANTSKYA, EKATERINA2 ek19@hw.ac.uk, HAMMOND, KEVIN3 kevin@kevinhammond.net, Dal Palu, Alessandro, Tarau, Paul |
| Source: | Theory & Practice of Logic Programming. May2018, Vol. 18 Issue 3/4, p484-501. 18p. |
| Database: | Mathematics Source |
| ISSN: | 14710684 |
|---|---|
| DOI: | 10.1017/S1471068418000212 |
