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

This email address is used for sending the file.
Files

Back