Helmut Schwichtenberg. Complexity of normalization in the pure typed lambda calculus. The L.E.J. Brouwer Centenary Symposium (ed. A. S. Troelstra and D. Van Dalen). North-Holland, Amsterdam, 1982. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Parallel Beta Reduction is Not Elementary Recursive - Asperti, Mairson (1998) (5 citations) (Correct)
No context found.
Helmut Schwichtenberg. Complexity of normalization in the pure typed lambda calculus. The L.E.J. Brouwer Centenary Symposium (ed. A. S. Troelstra and D. Van Dalen). North-Holland, Amsterdam, 1982.
Parallel Beta Reduction is Not Elementary Recursive - Asperti, Mairson (1998) (5 citations) (Correct)
No context found.
Helmut Schwichtenberg. Complexity of normalization in the pure typed lambda calculus. The L.E.J. Brouwer Centenary Symposium (ed. A. S. Troelstra and D. Van Dalen). North-Holland, Amsterdam, 1982.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC