Higher Type Recursion and Self-Application as Control Structures

Werner Damm, Elfriede Fehr, Klaus Indermark. Higher Type Recursion and Self-Application as Control Structures. In Erich J. Neuhold, editor, Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977. pages 461-490, North-Holland, 1977.

Authors

Werner Damm

This author has not been identified. Look up 'Werner Damm' in Google

Elfriede Fehr

This author has not been identified. Look up 'Elfriede Fehr' in Google

Klaus Indermark

This author has not been identified. Look up 'Klaus Indermark' in Google