Index of /jucs_23_1/higher_inductive_types_in
Name
Last modified
Size
Description
Parent Directory
-
jucs_23_01_0063_0088_basold.ps.gzip
2017-03-22 15:28
302K
jucs_23_01_0063_0088_basold.pdf
2017-03-22 15:28
188K
Apache/2.4.29 (Ubuntu) Server at www.jucs.org Port 443