Author of the publication

On the Power of Self-Application and Higher Type-Recursion.

, and . ICALP, volume 62 of Lecture Notes in Computer Science, page 177-191. Springer, (1978)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Modification of the Lambda-Calculus as a Base for Functional Programming Languages., and . ICALP, volume 140 of Lecture Notes in Computer Science, page 35-47. Springer, (1982)ProInformatik. Das Frühstudium Informatik an der Freien Universität Berlin.. GI-Jahrestagung, volume P-208 of LNI, page 930-937. GI, (2012)Funktionale Programmierung - Das aktuelle Schlagwort.. Inform. Spektrum, 5 (3): 194-196 (1982)Empfehlungen zum Schulfach Informatik, insbesondere zur Ausbildung von Informatiklehrern, , , , , , , , , and . Fakultätentag, Chemnitz, (November 1996)Sitzungsprotokoll: http://www.ft-informatik.de/protokolle/prot47-Ch-96.pdf.Expressive Power of Typed and Type-Free Programming Languages.. Theor. Comput. Sci., (1984)Eine universelle Lambda-Kalkül-Programmiersprache und ihr Interpreter.. Automata Theory and Formal Languages, volume 33 of Lecture Notes in Computer Science, page 245-251. Springer, (1975)A schematalogical approach to the alalysis of the procedure concept in algol-languages., and . CLAAP, page 130-134. Université de Lille 1, (1980)A Consistent Extension of the Lambda-Calculus as a Base for Functional Programming Languages, and . Inf. Control., 55 (1-3): 89-101 (October 1982)Inconsistencies of pure LISP., and . Theoretical Computer Science, volume 145 of Lecture Notes in Computer Science, page 101-110. Springer, (1983)The "Simplest Functional Programming Language" is neither Simple nor Functional.. ACM SIGPLAN Notices, 18 (4): 55-57 (1983)