Treffer 1 - 20 von 72 für Suche 'Maietti, Maria Emilia', Suchdauer: 2,56s Treffer weiter einschränken
  1. 1
    Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice

    Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice von Maietti, Maria Emilia, Maschio, Samuele, Rathjen, Michael


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Quotient Completion for the Foundation of Constructive Mathematics

    Quotient Completion for the Foundation of Constructive Mathematics von Maietti, Maria Emilia, Rosolini, Giuseppe

    Veröffentlicht in Logica universalis

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice

    A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice von Maria Emilia Maietti, Samuele Maschio, Michael Rathjen


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    The compatibility of the minimalist foundation with homotopy type theory

    The compatibility of the minimalist foundation with homotopy type theory von Contente, Michele, Maietti, Maria Emilia

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    A characterization of generalized existential completions

    A characterization of generalized existential completions von Maietti, Maria Emilia, Trotta, Davide


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Equiconsistency of the Minimalist Foundation with its classical version

    Equiconsistency of the Minimalist Foundation with its classical version von Maietti, Maria Emilia, Sabelli, Pietro


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    A PREDICATIVE VARIANT OF HYLAND'S EFFECTIVE TOPOS

    A PREDICATIVE VARIANT OF HYLAND'S EFFECTIVE TOPOS von Maietti, Maria Emilia, Maschio, Samuele

    Veröffentlicht in The Journal of symbolic logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Quotients, pure existential completions and arithmetic universes

    Quotients, pure existential completions and arithmetic universes von Maietti, Maria Emilia, Trotta, Davide


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Convergence in formal topology: a unifying notion

    Convergence in formal topology: a unifying notion von Ciraulo, Francesco, Maietti, Maria Emilia, Sambin, Giovanni

    Veröffentlicht in Journal of logic and analysis

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Unifying Exact Completions

    Unifying Exact Completions von Maietti, Maria Emilia, Rosolini, Giuseppe

    Veröffentlicht in Applied categorical structures

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    On Choice Rules in Dependent Type Theory

    On Choice Rules in Dependent Type Theory von Maietti, Maria Emilia


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    A minimalist two-level foundation for constructive mathematics

    A minimalist two-level foundation for constructive mathematics von Maietti, Maria Emilia


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice

    Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice von Ishihara, Hajime, Maietti, Maria Emilia, Maschio, Samuele, Streicher, Thomas

    Veröffentlicht in Archive for mathematical logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    A structural investigation on formal topology: coreflection of formal covers and exponentiability

    A structural investigation on formal topology: coreflection of formal covers and exponentiability von Maietti, Maria Emilia, Valentini, Silvio

    Veröffentlicht in The Journal of symbolic logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies

    Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies von Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    An induction principle for consequence in arithmetic universes

    An induction principle for consequence in arithmetic universes von Maietti, Maria Emilia, Vickers, Steven


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Preface to the special issue for The Fifth Workshop on Formal Topology

    Preface to the special issue for The Fifth Workshop on Formal Topology von Coquand, Thierry, Maietti, Maria, Palmgren, Erik

    Veröffentlicht in Journal of logic and analysis

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Relating Categorical Semantics for Intuitionistic Linear Logic

    Relating Categorical Semantics for Intuitionistic Linear Logic von Maietti, Maria Emilia, Maneggia, Paola, de Paiva, Valeria, Ritter, Eike

    Veröffentlicht in Applied categorical structures

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Joyal's arithmetic universe as list-arithmetic pretopos

    Joyal's arithmetic universe as list-arithmetic pretopos von Maietti, Maria Emilia


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    A minimalist two-level foundation for constructive mathematics

    A minimalist two-level foundation for constructive mathematics von Maietti, Maria Emilia

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: