Linear Ramified Higher Type Recursion and Parallel Complexity - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg, Sebastiaan Terwijn. Linear Ramified Higher Type Recursion and Parallel Complexity. In Reinhard Kahle, Peter Schroeder-Heister, Robert F. Stärk, editors, Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings. Volume 2183 of Lecture Notes in Computer Science, pages 1-21, Springer, 2001. [doi]

This author has not been identified. Look up 'Klaus Aehlig' in GoogleThis author has not been identified. Look up 'Jan Johannsen' in GoogleThis author has not been identified. Look up 'Helmut Schwichtenberg' in GoogleThis author has not been identified. Look up 'Sebastiaan Terwijn' in Google

runs on WebDSL