H. Schwichtenberg. Definierbare Funktionen im Lambda-Kalkul mit Typen. Archiv Logik Grundlagenforsch., 17:113--114, 1976. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Lectures on the Curry-Howard Isomorphism - Sørensen, Urzyczyn (1998) (2 citations) (Correct)
A Note on Polynomials with Non-negative Integral Coefficients - Govindarajan (Correct)
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