Making Recursions Manipulable by Constructing Medio-types (1995)

by Zhenjiang Hu , Hideya Iwasaki , Masato Takeichi
Venue:University of Tokyo
Citations:2 - 2 self