Maria Maietti, Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic Universe, Electronic Notes in Theoretical Computer Science
122 (2005) 105-126 [doi:10.1016/j.entcs.2004.06.054]
Maria Maietti, Modular correspondence between dependent type theories and categories including pretopoi and topoi, Mathematical Structures in Computer Science 15 6 (2005) 1089-1149 [doi:10.1017/S0960129505004962, pdf]
Maria E. Maietti, Joyal’s arithmetic universe as list-arithmetic pretopos , TAC 24 3 (2010) 39-83 [tac:24-03, pdf]
Maria E. Maietti, Steve Vickers, An induction principle for consequence in arithmetic universes, JPAA 216 (2012) pp.2049-2067. [doi:10.1016/j.jpaa.2012.02.040, pdf]
Last revised on December 13, 2023 at 17:07:16. See the history of this page for a list of all contributions to it.