Inproceedings,

Languages Defined by Higher Type Program Schemes.

.
ICALP, volume 52 of Lecture Notes in Computer Science, page 164-179. Springer, (1977)

Meta data

Tags

Users

  • @dblp

Comments and Reviews