Characterizing polynomial and exponential complexity classes in elementary lambda-calculus (Q1640981): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
Property / OpenAlex ID
 
Property / OpenAlex ID: W2804330401 / rank
 
Normal rank

Revision as of 14:25, 19 March 2024

scientific article
Language Label Description Also known as
English
Characterizing polynomial and exponential complexity classes in elementary lambda-calculus
scientific article

    Statements

    Characterizing polynomial and exponential complexity classes in elementary lambda-calculus (English)
    0 references
    14 June 2018
    0 references
    implicit computational complexity
    0 references
    linear logic
    0 references
    lambda-calculus
    0 references

    Identifiers