Maietti, Maria Emilia - Dipartimento di Matematica Pura ed Applicata, Universit� degli Studi di Padova

Advanced Search

Maietti, Maria Emilia - Dipartimento di Matematica Pura ed Applicata, Universit� degli Studi di Padova

Relating Categorical Semantics for Intuitionistic Linear Logic Maria Emilia Maietti Paola Maneggia y Valeria de Paiva z Eike Ritter y
A minimalist two-level foundation for constructive mathematics Maria Emilia Maietti
Under consideration for publication in Math. Struct. in Comp. Science Modular correspondence between dependent
UNIVERSIT A DEGLI STUDI DI PADOVA
A structural investigation on formal topology: core ection of formal covers and exponentiability
Theory and Applications of Categories, Vol. 24, No. 3, 2010, pp. 3983. JOYAL'S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC
About effective quotients in constructive type theory ?
Predicative exponentiation of locally compact formal topologies over
An induction principle for consequence in arithmetic universes
Reflection Into Models of Finite Decidable FPsketches an Arithmetic Universe
Quotients over Minimal Type Theory Maria Emilia Maietti
Subspaces of an arithmetic universe via type Maria Emilia Maietti
Constructive version of Boolean algebra Francesco Ciraulo
The Internal Type Theory of a Heyting Maria Emilia Maietti
Can you add power-sets to Martin-L"of intuitionistic set theory?
Consistency of the minimalist foundation with Church thesis and Bar Induction
Electronic Notes in Theoretical Computer Science 69 (2003) URL: http://www.elsevier.nl/locate/entcs/volume69.html 15 pages
Joyal's arithmetic universe as list-arithmetic pretopos Maria Emilia Maietti
A predicative proof of exponentiation of locally compact formal topologies.
Electronic Notes in Theoretical Computer Science 73 (2003) URL: http://www.elsevier.nl/locate/entcs/volume73.htmlLastPage pages
The typed calculus of arithmetic universes. Maria Emilia Maietti
Categorical Models for Intuitionistic and Linear Type Theory
An induction principle for consequence in arithmetic universes