Making Recursions Manipulable by Constructing Medio-types (1995)

by Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
Venue:University of Tokyo