Showing 1 - 1 results of 1 for search 'Marcelo P. Fiore', query time: 0.02s
Refine Results
-
1
Quotients, inductive types, and quotient inductive types by Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp
Published 2022-06-01
Article