Dependent Pattern Matching and Proof-Relevant Unification

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},
}