 | Institut Mittag-Leffler
The Royal Swedish
Academy of Sciences |
Linear Ramified Higher Type Recursion and Parallel Computation
Source file as TeX DVI Data
Postscript Document
Portable Document Format
Klaus Aehlig
,
Jan Johannsen
,
Helmut Schwichtenberg
,
Sebastiaan Terwijn
Preprint series:
Mathematical Logic - 2000/2001, No. 17
MSC 2000
- 03D15 Complexity of computation
-
68Q15 Complexity classes (hierarchies, relations among complexity classes, etc.)
-
03F35 Second- and higher-order arithmetic and fragments
Keywords:
higher types, recursion, parallel computation, NC, lambda calculus, linear logic, implicit computational complexity