彼得·克洛特 计算模型和函数代数（扩展摘要）。 （英语） Zbl 07776717号 Daniel Leivant（编辑），《逻辑和计算复杂性》。1994年10月13日至16日，美国印第安纳波利斯LCC’94国际研讨会。精选论文。柏林：Springer-Verlag。莱克特。注释计算。科学。960, 98-130 (1995).MSC公司：03月XX日 PDF格式BibTeX公司 XML格式引用 \textit{P.Clote}，莱克特。注释计算。科学。960，98-130（1995年；兹bl 07776717） 全文： 内政部
吉安·伊夫·吉拉德;安德烈·斯切德罗夫;菲利普·斯科特。 有界线性逻辑：多项式时间可计算性的模块化方法。 （英语） Zbl 0788.03005号 西奥。计算。科学。 97，第1期，1-66页（1992年）. 审核人：C.Calude（奥克兰） MSC公司：03B20型 03财年03 2015年3月1日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Girard}等人，Theor。计算。科学。97，第1号，1-66（1992；Zbl 0788.03005） 全文： 内政部
西利，R.A.G。 多项式时间实现器的分级多类。 （英语） Zbl 1493.68122号 大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。1989年9月5日至8日，英国曼彻斯特。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。389, 182-197 (1989).MSC公司：68号30 03B70号 18A50型 PDF格式BibTeX公司 XML格式引用 \textit{R.A.G.Seely}，莱克特。注释计算。科学。389182-197（1989年；Zbl 1493.68122） 全文： 内政部