Skip to content

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

Werner Damm, Elfriede Fehr

VenueA*ICALP
Year1978
ProceedingsICALP

Browse the full ICALP paper archive.