Publication:4436023
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
parallel computation; recursion; linear logic; lambda calculus; implicit computational complexity; NC; higher types
68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)
03B40: Combinatory logic and lambda calculus
03D65: Higher-type and set recursion theory
Related Items