Proof-search in type-theoretic languages: An introduction (Q1575935)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Proof-search in type-theoretic languages: An introduction
scientific article

    Statements

    title
    Proof-search in type-theoretic languages: An introduction (English)
    0 references
    publication date
    23 August 2000
    0 references
    Mathematics Subject Classification ID
    03B35
    0 references
    03B15
    0 references
    03F03
    0 references
    68N18
    0 references
    03B70
    0 references
    zbMATH DE Number
    1495210
    0 references
    zbMATH Keywords
    proof-objects
    0 references
    proof-search
    0 references
    type-theoretic languages
    0 references
    logical frameworks
    0 references
    author
    Didier Galmiche
    0 references
    David J. Pym
    0 references
    describes a project that uses
    TPS
    0 references
    Automath
    0 references
    Elf
    0 references
    Cambridge LCF
    0 references
    Jape
    0 references
    Lolli
    0 references
    Nuprl
    0 references
    Isabelle
    0 references
    PVS
    0 references
    HOL
    0 references
    LEGO
    0 references
    XBarnacle
    0 references
    SKIL
    0 references
    cites work
    Q3357521
    0 references
    Q2701978
    0 references
    Q4023900
    0 references
    Q4283230
    0 references
    Q4222823
    0 references
    Q4244301
    0 references
    Q3327746
    0 references
    Q3804239
    0 references
    Q4297316
    0 references
    Q3867808
    0 references
    Q4692468
    0 references
    Q4289277
    0 references
    Q4133603
    0 references
    Q4217953
    0 references
    Q3491030
    0 references
    Q3743300
    0 references
    Q4282536
    0 references
    Q4223030
    0 references
    Q4223029
    0 references
    Q4255504
    0 references
    Q4501142
    0 references
    Q3838075
    0 references
    Linear logic
    0 references
    Q4842966
    0 references
    Q4896506
    0 references
    Q4038661
    0 references
    Q4222845
    0 references
    Q3999307
    0 references
    Q4375633
    0 references
    Q3862380
    0 references
    Q3727946
    0 references
    Q4842972
    0 references
    Q4099613
    0 references
    Q3328540
    0 references
    Q3972527
    0 references
    Q4391451
    0 references
    Q3999860
    0 references
    Q4940727
    0 references
    Q4170869
    0 references
    Q4264064
    0 references
    Q4255509
    0 references
    Q4282613
    0 references
    Logic and Computation
    0 references
    Q4012879
    0 references
    Q4264727
    0 references
    Q4883282
    0 references
    Q4223032
    0 references
    Q5559220
    0 references
    Q4012884
    0 references
    Q4223033
    0 references
    Q4495851
    0 references
    Q4733863
    0 references
    Q4264724
    0 references
    Q3999539
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1575935&oldid=34250781"
    Powered by MediaWiki