Vai ai contenuti. | Spostati sulla navigazione | Spostati sulla ricerca | Vai al menu | Contatti | Accessibilità

logo del sistema bibliotecario dell'ateneo di padova

Borsetto, Riccardo (2019) Hedberg's Theorem in the Minimalist Foundation. [Magistrali biennali]

Full text disponibile come:

[img]
Preview
PDF
432Kb

Abstract

Le collezioni nella teoria dei tipi intensionale MF (Minimalist Foundation) dotate di uguaglianza decidibile soddisfano l'unicità delle prove di identità.

Item Type:Magistrali biennali
Corsi di Diploma di Laurea:Scuola di Scienze > Matematica
Uncontrolled Keywords:type theory
Subjects:Area 01 - Scienze matematiche e informatiche > MAT/01 Logica matematica
Codice ID:62445
Relatore:Maietti, Maria Emilia
Data della tesi:18 April 2019
Biblioteca:Polo di Scienze > Biblioteca di Matematica
Tipo di fruizione per il documento:on-line per i full-text

Bibliografia

I riferimenti della bibliografia possono essere cercati con Cerca la citazione di AIRE, copiando il titolo dell'articolo (o del libro) e la rivista (se presente) nei campi appositi di "Cerca la Citazione di AIRE".
Le url contenute in alcuni riferimenti sono raggiungibili cliccando sul link alla fine della citazione (Vai!) e tramite Google (Ricerca con Google). Il risultato dipende dalla formattazione della citazione e non da noi.

[1] E. Bishop. Foundations of Constructive Analysis, McGraw-Hill, 1967. Cerca con Google

[2] C. Burrill, Foundations of real numbers, McGraw-Hill, 1967. Cerca con Google

[3] H. B. Griffiths, P. J. Hilton, A Comprehensive Textbook of Classical Mathematics: A Contemporary Interpretation, Springer-Verlag, New York, 1970. Cerca con Google

[4] A.G. Howson, A Handbook of Terms used in Algebra and Analysis, Cambridge University Press, 1972. Cerca con Google

[5] N. Jacobson, Lectures in Abstract Algebra: I. Basic Concepts, Van Nostrand, 1951. Cerca con Google

[6] M. E. Maietti, A minimalist two-level foundation for constructive mathematics, Annals of Pure and Applied Logic, 2009. Cerca con Google

[7] M. E. Maietti and G. Sambin. Toward a minimalist foundation for constructive mathematics. From Sets and Types to Topology and Analysis: Practicable Foundations for Constructive Mathematics, number 48 in Oxford Logic Guides. Oxford University Press, 2005 Cerca con Google

[8] R. Nederpelt, H. Geuvers, Type Theory and Formal Proof: An Introduction, Cambridge University Press, 2014 Cerca con Google

[9] B. Nordstrom, K. Petersson, and J. Smith. Programming in Martin Lof 's Type Theory. Clarendon Press, Oxford, 1990. Cerca con Google

[10] T. Streicher, Investigations into intensional type theory, Habilitationsschrift, Ludwig-Maximilians-Universitat Munchen, 1993. Cerca con Google

[11] S. P. Thompson, M. Gardner, Calculus Made Easy, St. Martin's Press, 1998. Cerca con Google

[12] The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. Institute for Advanced Study, 2013. see https://homotopytypetheory.org/book. Vai! Cerca con Google

Solo per lo Staff dell Archivio: Modifica questo record