Request a copy of the file
Enter the following information to request a copy for the following item: Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory
Requesting the following file: 42430.pdf
Enter the following information to request a copy for the following item: Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory
Requesting the following file: 42430.pdf