Slepice

František Farka (Creator)
Ekaterina Komendantskya (Creator)
Kevin Hammond (Creator)

Dataset

1 Article

1 results

Filter

2018
Proof-relevant Horn clauses for dependent type inference and term synthesis
Farka, F., Komendantskya, E. & Hammond, K., 2018, In: Theory and Practice of Logic Programming. 18, 3-4, p. 484-501
Research output: Contribution to journal › Article › peer-review

Open Access
File