A logical account of pspace (Q3189832)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A logical account of pspace
scientific article

    Statements

    A logical account of pspace (English)
    0 references
    0 references
    0 references
    12 September 2014
    0 references
    implicit computational complexity
    0 references
    linear logic
    0 references
    polynomial space
    0 references
    type assignment
    0 references

    Identifiers