research

A predicative variant of a realizability tripos for the Minimalist Foundation.

Authors
Publication date
1 January 2016
Publisher

Abstract

open2noHere we present a predicative variant of a realizability tripos validating the intensional level of the Minimalist Foundation extended with Formal Church thesis.the file attached contains the whole number of the journal including the mentioned pubblicationopenMaietti, Maria Emilia; Maschio, SamueleMaietti, MARIA EMILIA; Maschio, Samuel

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Archivio istituzionale della ricerca - Università di Padova

    redirect
    oaioai:www.research.unipd.it:1157...
    Last time updated on 13/04/2017

    Padua Research Archive

    redirect
    oaioai:www.research.unipd.it:1157...
    Last time updated on 18/04/2020