From constructivism to computer science (Q1274450)

From MaRDI portal
scientific article
Language Label Description Also known as
English
From constructivism to computer science
scientific article

    Statements

    title
    From constructivism to computer science (English)
    0 references
    author
    A. S. Troelstra
    0 references
    publication date
    12 January 1999
    0 references
    zbMATH Keywords
    proof interpretation of intuitionistic logic
    0 references
    describes a project that uses
    Nuprl
    0 references
    Automath
    0 references
    cites work
    Q4101779
    0 references
    Q4068683
    0 references
    Q5610115
    0 references
    Q5559529
    0 references
    Q5565113
    0 references
    Q4405122
    0 references
    Q3671978
    0 references
    Q3214888
    0 references
    Q5343326
    0 references
    Q5525322
    0 references
    Q5619069
    0 references
    Q3211296
    0 references
    Q4099613
    0 references
    Q3999860
    0 references
    Q3786612
    0 references
    Q3202989
    0 references
    Q4068054
    0 references
    Q3216629
    0 references
    Q3922646
    0 references
    Q5533180
    0 references
    Q5183475
    0 references
    Q3877069
    0 references

    Identifiers

    zbMATH DE Number
    1238417
    0 references
    OpenAlex ID
    W2018882178
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1274450&oldid=37229906"
    Powered by MediaWiki