@techreport{weko_30967_1, author = "長谷川,立", title = "パラメトリック・ポリモルフィズムにおける再帰的型定義", year = "1989", institution = "京都大学数理解析研究所", number = "71(1989-PRO-030)", month = "sep" }