Preface to the special volume (Q534064)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Preface to the special volume
scientific article

    Statements

    title
    Preface to the special volume (English)
    0 references
    publication date
    10 May 2011
    0 references
    zbMATH Keywords
    proof theory
    0 references
    programming languages
    0 references
    describes a project that uses
    Lilac
    0 references
    Automath
    0 references
    cites work
    Q4263830
    0 references
    Q4222034
    0 references
    Q5397484
    0 references
    Q2778815
    0 references
    Q4160405
    0 references
    Abstract Böhm trees
    0 references
    Q5610115
    0 references
    Q4027625
    0 references
    Linear logic
    0 references
    Q3773876
    0 references
    Q3994895
    0 references
    Q4204146
    0 references
    Light linear logic
    0 references
    Q3999206
    0 references
    Q4409158
    0 references
    Q3922646
    0 references
    Q4650578
    0 references
    Q3999860
    0 references
    Q4255509
    0 references
    Q4068054
    0 references
    Q3997397
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B70
    0 references
    03F52
    0 references
    68N30
    0 references
    zbMATH DE Number
    5886377
    0 references
    OpenAlex ID
    W4211175950
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q534064&oldid=38392513"
    Powered by MediaWiki