Making Recursions Manipulable by Constructing Medio-types (1995)

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

Document Versions

Making Recursions Manipulable by Constructing Medio-types –Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi — 1995 — University of Tokyo
Making Recursions Manipulable by Constructing Medio-types –Zhenjiang Hu , Hideya Iwasaki, Masato Takeichi — 1995 — UNIVERSITY OF TOKYO