Minamide、Yasuhiko；雅克·加里格 关于类型定向开箱的运行时复杂性。 （英语） Zbl 1369.68111号 Berman，A.Michael（编辑），第二届ACM SIGPLAN函数式编程国际会议论文集，1997年6月9日至11日，荷兰阿姆斯特丹ICFP’97。纽约州纽约市：计算机协会（ACM）（ISBN 0-89791-918-1）。ACM SIGPLAN通知32，第8号，1-12（1997）。 引用于三文件 MSC公司： 68甲18 函数编程和lambda演算 65年第68季度 算法和问题复杂性分析 PDF格式BibTeX公司 XML格式引用 \textit{Y.Minamide}和\textit{J.Garrigue}，in：第二届ACM-SIGPLAN函数编程国际会议论文集，1997年6月9-11日，荷兰阿姆斯特丹，ICFP'97。纽约州纽约市：计算机协会（ACM）。1-12（1997年；Zbl 1369.68111） 全文： 内政部