scientific article; zbMATH DE number 2006627
From MaRDI portal
zbMath1024.68041MaRDI QIDQ4436023
Jan Johannsen, Helmut Schwichtenberg, Sebastiaan A. Terwijn, Klaus Aehlig
Publication date: 23 November 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2183/21830001.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
parallel computationrecursionlinear logiclambda calculusimplicit computational complexityNChigher types
Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Combinatory logic and lambda calculus (03B40) Higher-type and set recursion theory (03D65)
Related Items