Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis
Article in Theory and Practice of Logic Programming (July 2018)
The most recent citing publication is shown below. View this citation on Dimensions.
Article in Theory and Practice of Logic Programming (July 2018)