Statistics
Publications
3
Citations
229
H-Index
3
Active since
1999
Affiliations
H. Schwichtenberg is an author at Ludwig-Maximilians-Universität München specializing in theory of computation, programming languages, and typed lambda calculus.
Publications per year
1999–2002
3
3
An inverse of the evaluation functional for typed lambda -calculus
Ulrich Berger, H. Schwichtenberg · 2002 · 200 citations · Full text
1–3 of 3