Here we present a predicative variant of a realizability tripos validating the intensional level of the Minimalist Foundation extended with Formal Church thesis.
A predicative variant of a realizability tripos for the Minimalist Foundation.
MAIETTI, MARIA EMILIA;MASCHIO, SAMUELE
2016
Abstract
Here we present a predicative variant of a realizability tripos validating the intensional level of the Minimalist Foundation extended with Formal Church thesis.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
ifcolog00008.pdf
accesso aperto
Descrizione: articolo principale
Tipologia:
Published (publisher's version)
Licenza:
Accesso gratuito
Dimensione
2.56 MB
Formato
Adobe PDF
|
2.56 MB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
