武田，Kotaro;直纪小林;Kazuya Yaguchi;Ayumi Shinohara 简单类型lambda-terms的紧凑位编码方案。 （英语） 兹比尔1361.68051 Garrigue，Jacques（ed.）等人，《第21届ACM SIGPLAN功能编程国际会议论文集》，2016年9月18日至22日，日本奈良，ICFP’16。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4219-3）。146-157 (2016).MSC公司：68甲18 68页30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Takeda}等人，摘自：《第21届ACM SIGPLAN函数编程国际会议论文集》，2016年9月18日至22日，日本奈良，ICFP’16。纽约州纽约市：计算机协会（ACM）。146-157（2016；Zbl 1361.68051） 全文： 内政部
直纪小林;松田，Kazutaka;Ayumi Shinohara;Kazuya Yaguchi 功能程序作为压缩数据。 （英语） Zbl 1360.68332号 高-订购符号。计算。 25，第1号，39-84（2012）.MSC公司：68甲18 68页30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Kobayashi}等人，高-订购符号。计算。25，第1号，第39--84条（2012；Zbl 1360.68332） 全文： 内政部