Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory

Publication:

2018

Journal article

Author(s)

;

Journal of Functional Programming

1924 since deposited on 2021-10-25

6last month

1last week

Acq. date: 2026-10-13