On isomorphism of types in (dependent) type theory (cf. type equivalence):
Roberto Di Cosmo, Isomorphisms of Types – from -calculus to information retrieval and language design, Progress in Theoretical Computer Science, Birkhäuser (1995) [doi:10.1007/978-1-4612-2572-0]
Roberto Di Cosmo, A short survey of isomorphisms of types, Mathematical Structures in Computer Science 15 5 (2005) 825-838 [doi:10.1017/S0960129505004871, pdf]
Created on January 28, 2023 at 08:45:32. See the history of this page for a list of all contributions to it.