Languages Defined by Higher Type Program Schemes.

Werner Damm

Browse the full ICALP paper archive.