Request a copy of the file
Enter the following information to request a copy for the following item: Cumulative inductive types in Coq
Requesting the following file: 42485.pdf
Enter the following information to request a copy for the following item: Cumulative inductive types in Coq
Requesting the following file: 42485.pdf