Making Recursions Manipulable by Constructing Medio-types (1995)
by
Zhenjiang Hu
,
Hideya Iwasaki
,
Masato Takeichi
| Venue: | University of Tokyo |
| Citations: | 2 - 2 self |
BibTeX
@TECHREPORT{Hu95makingrecursions,
author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi},
title = {Making Recursions Manipulable by Constructing Medio-types},
institution = {University of Tokyo},
year = {1995}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper, aiming at manipulating functions defined by
