Jesper Cockx. Dependent Pattern Matching and Proof-Relevant Unification. PhD thesis, Katholieke Universiteit Leuven, Belgium, 2017. [doi]
@phdthesis{basesearch-7836, title = {Dependent Pattern Matching and Proof-Relevant Unification}, author = {Jesper Cockx}, year = {2017}, url = {https://www.base-search.net/Record/66a7ce9719c00dd2b976ac2c0f472c9fa527c0fcc5fbe259b2c5ca71b4f5ecc7}, note = {base-search.net (ftunivleuven:oai:lirias.kuleuven.be:123456789/583556)}, researchr = {https://researchr.org/publication/basesearch-7836}, cites = {0}, citedby = {0}, school = {Katholieke Universiteit Leuven, Belgium}, }