Klaus Berkling

Statistics

Publications

Citations

121

H-Index

Active since

1974

Affiliations

Gesellschaft Fur Mathematik Und Datenverarbeitung(Current)

Klaus Berkling is an author at Gesellschaft Fur Mathematik Und Datenverarbeitung specializing in lambda calculus, lambda calculus semantics, and recursion theory.

Publications per year

1974–1982

Publications

Reduction languages for reduction machines

Klaus Berkling · ACM SIGARCH Computer Architecture News · 1974 · 64 citations

Computing, Computer Science, Compilers +13

Reduction languages for reduction machines

Klaus Berkling · 1975 · 41 citations

Computing, Computer Science, Compilers +13

A consistent extension of the lambda-calculus as a base for functional programming languages

Klaus Berkling, Elfriede Fehr · Information and Control · 1982 · 16 citations

Computing, Computer Science, Algebra +13

1–3 of 3