@文章{DBLP:journals/corr/abs-2309-03602，author={Richard Statman和Gilles Dowek}，title={关于Statman的有限完备定理}，日志={CoRR}，体积={abs/2309.03602}，年份={2023}，url={https://doi.org/10.48550/arXiv.2309.03602},doi={10.48550/ARXIV.2309.03602}，eprinttype={arXiv}，eprint={2309.03602}，timestamp={2023年9月12日星期二01:00:00+0200}，biburl={https://dblp.org/rec/journals/corr/abs-2309-03602.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/lmcs/PolonskyS22，author={Andrew Polonsky和Richard Statman}，title={在具有给定交集类型的术语集}上，journal={Log.Methods计算科学}，体积={18}，数字＝{3}，年份={2022}，url={https://doi.org/10.46298/lmcs-18(3:35)2022},doi={10.46298/LMCS-18（3:35）2022}，timestamp={2023年1月24日星期二00:00:00+0100}，biburl={https://dblp.org/rec/journals/lmcs/PolonskyS22.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}
@正在处理{DBLP:conf/lfcs/Statman22，author={Rick Statman}，editor={Sergei N.Art{\“{e}}mov和阿尼尔·内罗德}，title={Lambda微积分的有限生成和表示问题组合逻辑}，booktitle＝{计算机科学的逻辑基础-国际研讨会，{LFCS}2022，美国佛罗里达州迪尔菲尔德海滩，2022年1月10日至13日，会议记录}，series={计算机科学讲稿}，体积={13137}，页面＝{316-326}，publisher={Springer}，年份={2022}，url={https://doi.org/10.1007/978-3-030-93100-1\_20},doi={10.1007/978-3-030-93100-1\_20}，timestamp={2021年12月28日星期二15:24:58+0100}，biburl={https://dblp.org/rec/conf/lfcs/Statman22.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在处理{DBLP:conf/fscd/Statman21，author={Rick Statman}，editor={Naoki Kobayashi}，title={Church半群是Sq-Universal}，booktitle={第六届国际计算形式结构会议和扣除，{FSCD}2021年7月17日至24日，阿根廷布宜诺斯艾利斯（虚拟会议）}，系列={LIPIcs}，体积={195}，页数={6:1--6:6}，publisher={Schloss Dagstuhl-Leibniz Zentrum f{\“{u}}r Informatik}，年份＝{2021}，url={https://doi.org/10.4230/LIPIcs.FSCD.2021.6},doi={10.4230/LIPICS.FSCD.2021.6}，timestamp={2021年7月6日星期二15:26:45+0200}，biburl={https://dblp.org/rec/conf/fscd/Statman21.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@inprocesdings{DBLP:期刊/corr/abs-2101-10494，author={Richard Statman}，editor={David I.Spivak和杰米·维卡里}，title={只有一个对象的类别中的产品}，booktitle={第三届国际应用范畴理论年会论文集2020年会议，{ACT}2020，美国剑桥，2020年7月6日至10日}，系列={{EPTCS}}，体积={333}，页数={347--353}，年份={2020年}，网址={https://doi.org/10.4204/EPTCS.333.24},doi={10.4204/EPTCS.333.24}，时间戳={2021年3月5日星期五14:49:30+0100}，biburl={https://dblp.org/rec/journals/corr/abs-2101-10494.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/fuin/Statman19，author={Rick Statman}，title={交叉点类型的简单子类型}，journal={Fundam.Informaticae}，体积={170}，数字={1-3}，页数={307--324}，年份={2019}，网址={https://doi.org/10.3233/FI-2019-1864},doi={10.3233/FI-2019-1864}，timestamp={2020年9月18日星期五01:00:00+0200}，biburl={https://dblp.org/rec/journals/fuin/Statman19.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}
@正在处理{DBLP:conf/lfcs/Statman18，author={Rick Statman}，editor={Sergei N.Art{\“{e}}mov和阿尼尔·内罗德}，title={操作语义的{BCD}的完整性}，booktitle={计算机科学逻辑基础-国际研讨会，{LFCS}2018，美国佛罗里达州迪尔菲尔德海滩，2018年1月8日至11日，会议记录}，series={计算机科学讲稿}，体积={10703}，页码={331--336}，publisher={Springer}，年份＝{2018}，url={https://doi.org/10.1007/978-3-319-72056-2\_20},doi={10.1007/978-3-319-72056-2\_20}，timestamp={2019年5月14日星期二10:00:54+0200}，biburl={https://dblp.org/rec/conf/lfcs/Statman18.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/abs-1809-08169，author={Richard Statman}，title={在具有给定交集类型的术语集}上，日志={CoRR}，体积={abs/1809.08169}，年份＝{2018}，url={http://arxiv.org/abs/1809.08169},eprinttype={arXiv}，eprint={1809.08169}，时间戳={2018年10月5日星期五01:00:00+0200}，比布尔={https://dblp.org/rec/journals/corr/abs-1809-08169.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/mscs/IntrigilaS17，author={Benedetto Intrigila和Richard Statman}，title={Lambda理论允许有限个不动点的项}，journal={Math.Struct.Comput.Sci.}，体积={27}，数字＝{3}，页数={405--427}，年份＝{2017}，url={https://doi.org/10.1017/S0960129515000419},doi={10.1017/S0960129515000419}，时间戳＝｛2020年4月1日星期三01:00:00+0200｝，biburl={https://dblp.org/rec/journals/mscs/IntrigilaS17.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/mscs/Statman17，author={Rick Statman}，title={驯服野生蚂蚁；B{\“{o}}hm}猜想的反例，journal={Math.Struct.Comput.Sci.}，体积={27}，数字={5}，页数={734--737}，年份={2017年}，url={https://doi.org/10.1017/S0960129515000341},doi={10.1017/S0960129515000341}，timestamp={2020年4月1日星期三01:00:00+0200}，biburl={https://dblp.org/rec/journals/mscs/Statman17.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在处理{DBLP:conf/lfcs/Statman16，author={Rick Statman}，editor={Sergei N.Art{\“{e}}mov和阿尼尔·内罗德}，title={Levy标签和递归类型}，booktitle={计算机科学逻辑基础-国际研讨会，{LFCS}2016年，美国佛罗里达州迪尔菲尔德海滩，2016年1月4日至7日。诉讼}，series={计算机科学讲稿}，体积={9537}，页面＝{392-406}，publisher={Springer}，年份={2016年}，url={https://doi.org/10.1007/978-3-319-27683-0\_27},doi={10.1007/978-3-319-27683-0\_27}，timestamp={2019年5月14日星期二10:00:54+0200}，biburl={https://dblp.org/rec/conf/lfcs/Statman16.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@在过程中{DBLP:conf/types/Statman16，author={Richard Statman}，editor={Silvia Ghilezan和赫尔曼·杰弗斯和Jelena Ivetic}，title={操作语义的{BCD}的完整性}，booktitle={第22届国际校对和程序类型会议，{Types}2016年5月23日至26日，塞尔维亚诺维萨德}，系列={LIPIcs}，体积={97}，页数={15:1--15:5}，publisher={Schloss Dagstuhl-Leibniz Zentrum f{\“{u}}r Informatik}，年份={2016年}，url={https://doi.org/10.4230/LIPIcs.TYPES.2016.15},doi={10.4230/LIPICS.TYPES.2016.15}，timestamp={2020年2月11日星期二15:52:14+0100}，biburl={https://dblp.org/rec/conf/types/Statman16.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@inprocesdings{DBLP:日志/entcs/Statman16，author={Rick Statman}，editor={Lars Birkedal}，title={关于半群和其他同余在Lambda中的表示微积分}，booktitle={第三十二届程序设计数学基础会议语义，{MFPS}2016，卡内基梅隆大学，匹兹堡，宾夕法尼亚州，美国，2016年5月23日至26日}，series={理论计算机科学中的电子笔记}，体积＝{325}，页数={299--304}，publisher={Elsevier}，年份={2016年}，url={https://doi.org/10.1016/j.entcs.2016.09.044},doi={10.1016/J.ENTCS.2016.09.044}，timestamp={2022年8月16日星期二01:00:00+0200}，比布尔={https://dblp.org/rec/journals/entcs/Statman16.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@inprocesdings{DBLP:日志/entcs/Statman16a，author={Rick Statman}，editor={Lars Birkedal}，title={如何将交集类型视为笛卡尔积}，booktitle={第三十二届程序设计数学基础会议语义，{MFPS}2016，卡内基梅隆大学，匹兹堡，宾夕法尼亚州，美国，2016年5月23日至26日}，series={理论计算机科学中的电子笔记}，体积={325}，页数={305--312}，publisher={Elsevier}，年份={2016年}，url={https://doi.org/10.1016/j.entcs.2016.09.045},doi={10.1016/J.ENTCS.2016.09.045}，timestamp={2022年8月16日星期二01:00:00+0200}，biburl={https://dblp.org/rec/journals/entcs/Statman16a.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/jcss/Statman14，author={Rick Statman}，title={关于非类型化术语的多态类型}，日志={J.计算系统科学}，体积={80}，数字={6}，页码={1163--1173}，年份={2014}，url={https://doi.org/10.1016/j.jcss.2014.04.008},doi＝{10.1016/J.JCSS.2014.04.008}，timestamp={2021年2月16日星期二00:00:00+0100}，biburl={https://dblp.org/rec/journals/jcss/Statman14.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/rta/Statman14，author={Rick Statman}，editor={Gilles Dowek}，title={近半环和Lambda微积分}，booktitle＝{重写和打字Lambda微积分-联合国际会议，{RTA-TLCA}2014，作为维也纳逻辑夏季的一部分举行，{VSL}2014年7月14日至17日，奥地利维也纳。诉讼}，series={计算机科学讲稿}，体积={8560}，页数={410--424}，publisher={Springer}，年份={2014}，url={https://doi.org/10.1007/978-3-319-08918-8\_28},doi={10.1007/978-3-319-08918-8\_28}，timestamp={2019年5月14日星期二10:00:46+0200}，比布尔={https://dblp.org/rec/conf/rta/Statman14.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@在过程中{DBLP:journals/corr/Statman15，author={Rick Statman}，editor={Jakob Rehof}，title={交叉点类型的有限模型属性}，booktitle={十字路口类型和相关系统第七次研讨会论文集，{ITRS}2014年，奥地利维也纳，2014年7月18日}，系列={{EPTCS}}，体积={177}，页数={1--9}，年份={2014}，url={https://doi.org/10.4204/EPTCS.177.1},doi={10.4204/EPTCS.177.1}，时间戳={2018年9月12日星期三01:05:15+0200}，biburl={https://dblp.org/rec/journals/corr/Statman15.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@book{DBLP:books/daglib/0032840，author={Hendrik Pieter Barendregt和Wil Dekkers和Richard Statman}，title={带类型的Lambda微积分}，series={逻辑视角}，publisher={剑桥大学出版社}，年份={2013}，url={http://www.cambridge.org/de/academic/subjects/mathematics/logic-cateries-and-sets/lambda-calculus-types},isbn={978-0-521-76614-2}，timestamp={2014年3月12日星期三00:00:00+0100}，比布尔={https://dblp.org/rec/books/daglib/0032840.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在处理{DBLP:conf/csl/Statman13，author={Rick Statman}，editor={Simona Ronchi Della Rocca}，title={强规范化项的一种新类型赋值}，booktitle＝{计算机科学逻辑2013{（CSL}2013），{CSL}2013，9月2-5日，2013年，意大利都灵，系列={LIPIcs}，体积={23}，页码＝{634-652}，publisher={Schloss Dagstuhl-Leibniz Zentrum f{\“{u}}r Informatik}，年份={2013}，url={https://doi.org/10.4230/LIPIcs.CSL.2013.634},doi={10.4230/LIPICS.CSL.2013.634}，timestamp={2020年2月11日星期二15:52:14+0100}，biburl={https://dblp.org/rec/conf/csl/Statman13.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/fuin/IntrigilaS11，author={Benedetto Intrigila和Richard Statman}，title={组合逻辑范围问题的解}，journal={Fundam.Informaticae}，体积={111}，数字={2}，页数={203--222}，年份={2011}，url={https://doi.org/10.3233/FI-2011-560},doi={10.3233/FI-2011-560}，timestamp={2020年9月18日星期五01:00:00+0200}，biburl={https://dblp.org/rec/journals/fuin/IntrigilaS11.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在处理{DBLP:conf/wollic/Statman11，author={Rick Statman}，editor={Lev D.Beklemishev和Ruy J.G.B.de Queiroz}，title={关于非类型化术语的多态类型}，booktitle＝{逻辑、语言、信息和计算-第18届国际2011年5月18日至20日，美国宾夕法尼亚州费城，WoLLIC 2011研讨会。诉讼}，series={计算机科学讲稿}，体积={6642}，页数={239--256}，publisher={Springer}，年份={2011}，url={https://doi.org/10.1007/978-3-642-20920-8\_24},doi＝{10.1007/978-3-642-20920-8\_24}，timestamp={2021年6月1日星期二15:22:31+0200}，biburl={https://dblp.org/rec/conf/wollic/Statman11.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@inprocesdings{DBLP:日志/entcs/Statman10，author={Rick Statman}，editor={Michael W.Mislove和彼得·塞林格}，title={笛卡尔单体}，booktitle={第26届数学基础会议记录2010年5月于加拿大安大略省渥太华市出版的《编程语义》6-10, 2010},series={理论计算机科学中的电子笔记}，体积={265}，页数={437--451}，publisher={Elsevier}，年份={2010}，url={https://doi.org/10.1016/j.entcs.2010.08.026},doi={10.1016/J.ENTCS.2010.08.026}，timestamp={2021年2月8日星期一00:00:00+0100}，biburl={https://dblp.org/rec/journals/entcs/Statman10.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/abs-0903-1374，author={Benedetto Intrigila和Richard Statman}，title={Omega规则是{\（\Pi\）}\（{}_{\mbox{1}}\）\（{{}^{\mbox{1}{\）-完成在{\（lambda\）}{\（beta\）}-微积分}中，journal={Log.Methods计算科学}，体积={5}，数字＝{2}，年份={2009}，url={http://arxiv.org/abs/0903.1374},timestamp={2020年6月25日星期四01:00:00+0200}，biburl={https://dblp.org/rec/journals/corr/abs-0903-1374.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/jsyml/Statman07，作者＝{Rick Statman}，title={关于alpha转换的复杂性}，日志={J.Symb.Log.}，体积={72}，数字={4}，页面＝{1197-1203}，年份={2007}，url={https://doi.org/10.2178/jsl/1203350781},doi={10.2178/JSL/1203350781}，timestamp={2017年5月28日，星期日01:00:00+0200}，biburl={https://dblp.org/rec/journals/jsyml/Statman07.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/tlca/IntrigilaS07，author={Benedetto Intrigila和Richard Statman}，editor={Simona Ronchi Della Rocca}，title={Omega规则是P\（{}_{\mbox{1}}\）\（{{}^{\mbox{1}{\）-完成于emph{lambdabeta}-微积分}，booktitle={第八届国际会议《打字兰姆达微积分与应用》，{TLCA}2007，法国巴黎，2007年6月26-28日，会议记录}，series={计算机科学讲稿}，体积={4583}，页数={178--193}，publisher={Springer}，年份={2007}，url={https://doi.org/10.1007/978-3-540-73228-0\_14},doi={10.1007/978-3-540-73228-0\_14}，timestamp={2019年5月14日星期二10:00:41+0200}，biburl={https://dblp.org/rec/conf/tlca/IntrigilaS07.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/lmcs/IntrigilaS06，author={Benedetto Intrigila和Richard Statman}，title={敏感λ理论上Barendregt问题的解}，journal={Log.Methods计算科学}，体积={2}，数字={4}，年份={2006}，url={https://doi.org/10.2168/LMCS-2(4:5)2006},doi={10.2168/LMCS-2（4:5）2006}，时间戳＝｛2020年6月25日星期四01:00:00+0200｝，biburl={https://dblp.org/rec/journals/lmcs/IntrigilaS06.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/abs-cs-0609080，author={Benedetto Intrigila和Richard Statman}，title={敏感λ理论上Barendregt问题的解}，日志={CoRR}，体积={abs/cs/0609080}，年份={2006}，url={http://arxiv.org/abs/cs/0609080},eprinttype={arXiv}，eprint={cs/0609080}，timestamp={2018年8月13日星期一01:00:00+0200}，biburl={https://dblp.org/rec/journals/corr/abs-cs-060908.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/apal/IntrigilaS05，author={Benedetto Intrigila和Richard Statman}，title={lambda演算中可拓性的一些结果}，日志={Ann.Pure Appl.Log.}，体积={132}，数字={2-3}，页数={109--125}，年份={2005}，url={https://doi.org/10.1016/j.apal.2003.05.001},doi={10.1016/J.APAL.2003.05.001}，timestamp={2020年2月21日星期五00:00:00+0100}，biburl={https://dblp.org/rec/journals/apal/IntrigilaS05.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@inprocesdings{DBLP:conf/生日/StatmanB05，author={Richard Statman和Henk Barendregt}，editor={Art Middeldorp和文森特·范·奥斯特罗姆和Femke van Raamsdonk和Roel C.de Vrijer}，title={B{\“{o}}hm定理、Church’s Delta、数字系统和Ershov形态}，booktitle={过程、术语和周期：通向无限之路的步骤，散文在Jan Willem Klop 60岁生日之际致辞}，series={计算机科学讲稿}，体积={3838}，页数={40--54}，publisher={Springer}，年份={2005}，url={https://doi.org/10.1007/11601548\_5},doi={10.1007/11601548\5}，时间戳＝{2019年9月16日星期一15:30:34+0200}，biburl={https://dblp.org/rec/conf/birthday/StatmanB05.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在处理{DBLP:conf/ictcs/Statman05，author={Richard Statman}，editor={Mario Coppo和Elena Lodi和G.Michele Pinna}，title={两个变量不够}，booktitle={理论计算机科学，第九届意大利会议，{ICTCS}2005，意大利锡耶纳，2005年10月12日至14日，会议记录}，series={计算机科学讲稿}，体积={3701}，页数={406--409}，publisher={Springer}，年份={2005}，url={https://doi.org/10.1007/11560586\_32},doi＝{10.1007/11560586_32}，timestamp={2019年5月14日星期二10:00:45+0200}，biburl={https://dblp.org/rec/conf/ictcs/Statman05.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/apal/Statman04，author={Richard Statman}，title={在lambda\emph{Y}演算}上，日志={Ann.Pure Appl.Log.}，体积＝{130}，数字={1-3}，pages＝{325-337}，年份={2004}，url={https://doi.org/10.1016/j.apal.2004.04.004},doi={10.1016/J.APAL.2004.04.004}，timestamp={2020年2月21日星期五00:00:00+0100}，biburl={https://dblp.org/rec/journals/apal/Statman04.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/lics/IntrigilaS04，author={Benedetto Intrigila和Richard Statman}，title={欧米茄规则是II{{}2{^{}}0-在lambdaβ-微积分中很难，booktitle={19{IEEE}计算机科学逻辑研讨会{（LICS}2004），2004年7月14日至17日，芬兰图尔库，诉讼}，页数={202--210}，publisher={{IEEE}计算机协会}，年份={2004}，url={https://doi.org/10.109/LICS.2004.1319614},doi={10.1109/LICS.2004.1319614}，timestamp={2023年3月24日星期五00:00:00+0100}，biburl={https://dblp.org/rec/conf/lics/IntrigilaS04.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在处理{DBLP:conf/lics/Statman02，author={Richard Statman}，title={On The Lambda{Y}微积分}，booktitle={第17届{IEEE}计算机科学逻辑研讨会{（LICS}2002），2002年7月22日至25日，丹麦哥本哈根，会议记录}，页数={159--166}，publisher={{IEEE}计算机协会}，年份＝{2002}，url={https://doi.org/10.109/LICS.2002.1029825},doi={10.1109/LICS.2002.1029825}，timestamp={2023年3月24日星期五00:00:00+0100}，biburl={https://dblp.org/rec/conf/lics/Statman02.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/fuin/Statman01，author={Richard Statman}，title＝{Jacobini定理的边值}，journal={Fundam.Informaticae}，体积={45}，数字={1-2}，页数={117--121}，年份={2001}，url={http://content.iospress.com/articles/foundamenta-informaticae/fi45-1-2-06},timestamp={2020年9月18日星期五01:00:00+0200}，biburl={https://dblp.org/rec/journals/fuin/Statman01.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在处理{DBLP:conf/lpar/Statman00，author={Richard Statman}，editor={Michel Parigot和安德烈·沃伦科夫}，title={Church’s Lambda Delta Calculus}，booktitle={编程和自动推理逻辑，第七届国际会议，{LPAR}2000，法国留尼汪岛，2000年11月11-12日，会议记录}，series={计算机科学讲稿}，体积={1955}，页数={293--307}，publisher={Springer}，年份={2000}，url={https://doi.org/10.1007/3-540-44404-1\_19},doi={10.1007/3-540-44404-1\_19}，timestamp={2019年5月14日星期二10:00:55+0200}，biburl={https://dblp.org/rec/conf/lpar/Statman00.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/rta/Statman00，author={Richard Statman}，editor={Leo Bachmair}，title={关于组合词的单词问题}，booktitle={重写技术与应用，第11届国际会议，{RTA}2000，英国诺维奇，2000年7月10日至12日，会议记录}，series={计算机科学讲稿}，体积＝{1833}，页数={203--213}，publisher={Springer}，年份={2000}，网址={https://doi.org/10.1007/10721975\_14},doi={10.1007/10721975\_14}，timestamp={2019年5月14日星期二10:00:46+0200}，biburl={https://dblp.org/rec/conf/rta/Statman00.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/jfp/StatmanB99，author={Richard Statman和Henk Barendregt}，title={Plotkin-Terms的应用：封闭的分区和形态术语}，journal={J.Funct.Program.}，体积={9}，数字={5}，页数={565--575}，年份={1999}，url={https://doi.org/10.1017/s0956796899003548},doi={10.1017/S095679899003548}，timestamp={2022年6月10日星期五01:00:00+0200}，biburl={https://dblp.org/rec/journals/jfp/StatmanB99.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/mscs/Statman99，author={Richard Statman}，title={关于n而非n+1容易组合子的存在性}，journal={Math.Struct.Comput.Sci.}，体积={9}，数字={4}，页面＝{361-365}，年份={1999}，url={http://journals.cambridge.org/action/displayAbstract？aid=44807},timestamp={2020年4月1日星期三01:00:00+0200}，biburl={https://dblp.org/rec/journals/mscs/Statman99.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@在过程中{DBLP:conf/tlca/Statman99，author={Richard Statman}，editor={Jean伊夫吉拉德}，title={Jacopini定理的结果：一致等式和方程}，booktitle={第四届国际会议，打字Lambda微积分与应用，TLCA’99，意大利拉奎拉，1999年4月7日至9日，会议记录}，series={计算机科学讲稿}，体积={1581}，页数={355--364}，publisher={Springer}，年份={1999}，url={https://doi.org/10.1007/3-540-48959-2\_25},doi={10.1007/3-540-48959-2\_25}，timestamp={2019年5月14日星期二10:00:41+0200}，biburl={https://dblp.org/rec/conf/tlca/Statman99.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/csl/Statman98，author={Richard Statman}，editor={Georg Gottlob和艾蒂安·格兰德让和Katrin Seyr}，title={V集的形态和分区}，booktitle={计算机科学逻辑，第12届国际研讨会，{CSL}'98，年度EACSL会议，1998年8月24日至28日，捷克共和国布尔诺，诉讼}，series={计算机科学讲稿}，体积={1584}，页数={313--322}，publisher={Springer}，年份＝{1998}，url={https://doi.org/10.1007/10703163\_21},doi={10.1007/10703163\_21}，timestamp={2019年5月14日星期二10:00:42+0200}，biburl={https://dblp.org/rec/conf/csl/Statman98.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}
@文章{DBLP:journals/jsyml/NarendranPS97，作者=｛Paliath Narendran和Frank Pfenning和Richard Statman}，title={关于笛卡尔闭范畴的统一问题}，日志={J.Symb.Log.}，体积={62}，数字={2}，页数={636--647}，年份={1997}，url={https://doi.org/10.2307/2275552},doi={10.2307/2275552}，timestamp={2017年5月28日，星期日01:00:00+0200}，biburl={https://dblp.org/rec/journals/jsyml/NarendranPS97.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在处理{DBLP:conf/rta/Statman97，author={Richard Statman}，editor={Hubert Comon}，title={合成器的有效约简和转换策略}，booktitle={重写技术与应用，第八届国际会议，RTA-97，Sitges，西班牙，1997年6月2-5日，Proceedings}，series={计算机科学讲稿}，体积={1232}，页数={299--307}，publisher={Springer}，年份={1997}，url={https://doi.org/10.1007/3-540-62950-5\_79},doi={10.1007/3-540-62950-5\79}，timestamp={2019年5月14日星期二10:00:46+0200}，比布尔={https://dblp.org/rec/conf/rta/Statman97.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在处理{DBLP:conf/csl/Statman96，author={Richard Statman}，editor={Dirk van Dalen和马克·贝泽姆}，title＝{在笛卡尔单体上}，booktitle={计算机科学逻辑，第十届国际研讨会，{CSL}'96，年度EACSL会议，荷兰乌得勒支，9月21日至27日，1996，论文选集}，series={计算机科学讲稿}，体积={1258}，页数={446--459}，publisher={Springer}，年份={1996}，url={https://doi.org/10.1007/3-540-63172-0\_55},doi={10.1007/3-540-63172-0\55}，timestamp={2019年5月14日星期二10:00:42+0200}，biburl={https://dblp.org/rec/conf/csl/Statman96.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/tcs/Statman93，author={Richard Statman}，title={不存在组合器的一些示例}，日志={Theor.Comput.Sci.}，体积={121}，数字={1{\&}2}，页数={441--448}，年份={1993}，url={https://doi.org/10.1016/0304-3975（93）90096-C}，doi={10.1016/0304-3975（93）90096-C}，timestamp={2021年2月17日星期三00:00:00+0100}，biburl={https://dblp.org/rec/journals/tcs/Statman93.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/lics/NarendranPS93，author={Paliath Narendran和Frank Pfenning和Richard Statman}，title={关于笛卡尔闭范畴的统一问题}，booktitle={第八届计算机科学逻辑年会论文集{（LICS}'93），加拿大蒙特利尔，1993年6月19日至23日}，页数={57--63}，publisher={{IEEE}计算机协会}，年份＝{1993}，url={https://doi.org/10.1109/LICS.1993.287600},doi={10.1109/LICS.1993.287600}，时间戳＝{2023年3月24日星期五00:00:00+0100}，biburl={https://dblp.org/rec/conf/lics/NarendranPS93.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/ipl/ZhangSS92，author={张开忠和Richard Statman和丹尼斯·沙沙（Dennis E.Shasha），title={关于无序标记树之间的编辑距离}，日志={Inf.Process.Lett.}，体积={42}，数字＝{3}，页数={133--139}，年份={1992年}，url={https://doi.org/10.1016/0020-0190（92）90136-J}，doi={10.1016/0020-0190（92）90136-J}，timestamp={2017年5月26日星期五01:00:00+0200}，biburl={https://dblp.org/rec/journals/ipl/ZhangSS92.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/lics/LiguoroPS92，author={Ugo de’Liguoro和阿道夫·皮佩诺和Richard Statman}，title={在简单类型的lambda-beta-eta-calculus}中缩回，booktitle={第七届计算机科学逻辑年会论文集{（LICS）'92），美国加利福尼亚州圣克鲁斯，1992年6月22日至25日}，页数={461--469}，publisher={{IEEE}计算机协会}，年份={1992年}，url={https://doi.org/10.1109/LICS.1992.185557},doi={10.1109/LICS.1992.185557}，timestamp={2023年3月24日星期五00:00:00+0100}，biburl={https://dblp.org/rec/conf/lics/LiguoroPS92.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}
@正在处理{DBLP:conf/lics/Statman91，作者＝{Richard Statman}，title={Freyd的组合单体层次}，booktitle={第六届计算机科学逻辑年度研讨会论文集{（LICS}'91），荷兰阿姆斯特丹，1991年7月15日至18日}，页数={186--190}，publisher={{IEEE}计算机协会}，年份={1991年}，url={https://doi.org/10.1109/LICS.1991.151643},doi={10.1109/LICS.1991.151643}，timestamp={2023年3月24日星期五00:00:00+0100}，biburl={https://dblp.org/rec/conf/lics/Statman91.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/jct/FurstGS89，author={Merrick L.Furst和Jonathan L.Gross和Richard Statman}，title={两类图的亏格分布}，期刊={J.Comb.理论，Ser.{B}}，体积={46}，数字={1}，页数={22--36}，年份={1989年}，url={https://doi.org/10.1016/0095-8956（89）90004-X}，doi={10.1016/0095-8956（89）90004-X}，timestamp={2021年2月16日星期二00:00:00+0100}，biburl={https://dblp.org/rec/journals/jct/FurstGS89.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}
@文章{DBLP:journals/jsc/Statman89，author={Richard Statman}，title={Smullyan的云雀组合器的单词问题是可决定的}，日志={J.Symb.Comput.}，体积={7}，数字={2}，页数={103--112}，年份＝{1989}，url={https://doi.org/10.1016/S0747-7171（89）80044-6}，doi={10.1016/S0747-7171（89）80044-6}，timestamp={2021年2月17日星期三00:00:00+0100}，biburl={https://dblp.org/rec/journals/jsc/Statman89.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/tcs/Statman89，author={Richard Statman}，title={关于组合子方程的解集}，日志={Theor.Comput.Sci.}，体积={66}，数字={1}，页数={99--104}，年份={1989年}，url={https://doi.org/10.1016/0304-3975(89)90148-5},doi={10.1016/0304-3975（89）90148-5}，timestamp={2021年2月17日星期三00:00:00+0100}，biburl={https://dblp.org/rec/journals/tcs/Statman89.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/dam/SaksS88，author={Michael E.Saks和Rick Statman}，title={有限自动机的交集问题}，日志={Discret.Appl.Math.}，体积＝{21}，数字＝{3}，页数={245--255}，年份={1988年}，url={https://doi.org/10.1016/0166-218X(88)90070-4},doi={10.1016/0166-218X（88）90070-4}，timestamp={2021年2月11日星期四00:00:00+0100}，比布尔={https://dblp.org/rec/journals/dam/SaksS88.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/colt/CherniavskyVS88，author={John C.Cherniavsky和Mahendran Velauthapillai和Richard Statman}，editor={David Haussler和伦纳德·皮特}，title={归纳推理：抽象方法}，booktitle={第一届计算学习年度研讨会会议记录理论，{COLT}'88，美国马萨诸塞州剑桥，1988年8月3日至5日}，页数={251--266}，publisher={{ACM/MIT}}，年份={1988年}，url={http://dl.acm.org/citation.cfm？id=93097},timestamp={2011年12月23日星期五00:00:00+0100}，biburl={https://dblp.org/rec/conf/colt/CherniavskyVS88.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/popl/MeyerMMS87，作者={Albert R.Meyer和约翰·米切尔和尤金尼奥·莫吉和Richard Statman}，title={多形Lambda微积分中的空类型}，booktitle={第十四届原理研讨会会议记录编程语言，德国慕尼黑，1987年1月21日至23日}，页数={253--262}，publisher={{ACM}出版社}，年份＝{1987}，url={https://doi.org/10.1145/41625.41648},doi={10.1145/41625.41648}，时间戳={2019年9月25日星期三01:00:00+0200}，biburl={https://dblp.org/rec/conf/popl/MeyerMMS87.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/ndjfl/Statman86，author={Richard Statman}，title={求解更高类型的函数方程：一些示例和一些定理}，journal={圣母院J.正式日志.}，体积={27}，数字={1}，页数={66--74}，年份＝{1986}，url={https://doi.org/10.1305/ndjfl/1093636524},doi={10.1305/NDJFL/1093636524}，timestamp={2020年5月21日星期四01:00:00+0200}，biburl={https://dblp.org/rec/journals/ndjfl/Statman86.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/tcs/PasztorS86，author={Ana Pasztor和Richard Statman}，title={ω-Sups}下的Scott归纳和闭包，日志={Theor.Comput.Sci.}，体积={43}，页数={251--263}，年份＝{1986}，url={https://doi.org/10.1016/0304-3975(86)90179-9},doi={10.1016/0304-3975（86）90179-9}，timestamp={2021年2月17日星期三00:00:00+0100}，biburl={https://dblp.org/rec/journals/tcs/PasztorS86.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/tcs/Statman86，author={Richard Statman}，title={每个可数偏序集都可嵌入不可解项偏序集}，日志={Theor.Comput.Sci.}，体积={48}，数字＝{3}，页数={95--100}，年份＝{1986}，url={https://doi.org/10.1016/0304-3975（86）90085-X}，doi={10.1016/0304-3975（86）90085-X}，timestamp={2021年2月17日星期三00:00:00+0100}，比布尔={https://dblp.org/rec/journals/tcs/Statman86.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在处理{DBLP:conf/lics/Statman86，author={Richard Statman}，title={关于将Lambda项转换为组合子；基问题}，booktitle={计算机科学逻辑研讨会论文集{（LICS}1986年6月16日至18日，美国马萨诸塞州剑桥，页面＝{378-382}，publisher={{IEEE}计算机协会}，年份＝{1986}，timestamp={2015年1月22日星期四00:00:00+0100}，biburl={https://dblp.org/rec/conf/lics/Statman86.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/iandc/Statman85，author={Richard Statman}，title={逻辑关系和类型化lambda-Calculus}，日志={信息控制}，体积={65}，数字={2/3}，页数={85--97}，年份={1985}，url={https://doi.org/10.1016/S0019-9958(85)80001-2},doi={10.1016/S0019-9958（85）80001-2}，timestamp={2020年5月18日星期一01:00:00+0200}，biburl={https://dblp.org/rec/journals/iandc/Statman85.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/jacm/BeeriDFS84，author={Catriel Beeri和马丁·多德和罗纳德·费金和Richard Statman}，title={关于函数依赖的Armstrong关系的结构}，日志={J.{ACM}}，体积={31}，数字={1}，页数={30--46}，年份＝{1984}，url={https://doi.org/10.1145/2422.322414},doi={10.1145/2422.322414}，timestamp={2018年11月14日星期三00:00:00+0100}，biburl={https://dblp.org/rec/journals/jacm/BeeriDFS84.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journeys/aml/Statman83，author={Richard Statman}，title={\emph{{\（\lambda\）}}-可定义泛函和转换}，日志={Arch.Math.Log.}，体积={23}，数字={1}，页数={21--26}，年份={1983年}，url={https://doi.org/10.1007/BF02023009},doi={10.1007/BF02023009}，timestamp={2019年10月26日星期六01:00:00+0200}，biburl={https://dblp.org/rec/journals/aml/Statman83.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/ipl/LewisS82，author={哈里·刘易斯和Richard Statman}，title={co-NLogSpace}的统一性已完成，日志={Inf.Process.Lett.}，体积={15}，数字={5}，页数={220--222}，年份={1982年}，url={https://doi.org/10.1016/0020-0190(82)90121-1},doi＝{10.1016/0020-0190（82）90121-1}，timestamp={2017年5月26日星期五01:00:00+0200}，biburl={https://dblp.org/rec/journals/ipl/LewisS82.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/jgt/Statman82，author={Richard Statman}，title={三次图的拓扑子图和dirac}定理，journal={J.图论}，体积={6}，数字={4}，页数={419--427}，年份={1982年}，url={https://doi.org/10.1002/jgt.3190060406},doi＝{10.1002/JGT.3190060406}，timestamp={2020年10月2日星期五01:00:00+0200}，biburl={https://dblp.org/rec/journals/jgt/Statman82.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/jsyml/Statman82，author={Richard Statman}，title={完整性、不变性和lambda-Definitibility}，日志={J.Symb.Log.}，体积={47}，数字={1}，页数={17--26}，年份={1982年}，url={https://doi.org/10.2307/2273377},doi={10.2307/2273377}，timestamp={2017年5月28日，星期日01:00:00+0200}，biburl={https://dblp.org/rec/journals/jsyml/Statman82.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/dm/Statman81，author={Richard Statman}，title={图重构猜想的约简}，日记={离散数学}，体积={36}，数字={1}，页数={103--107}，年份={1981}，url={https://doi.org/10.1016/0012-365X(81)90177-1},doi={10.1016/0012-365X（81）90177-1}，timestamp={星期六，2023年10月21日01:00:00+0200}，biburl={https://dblp.org/rec/journals/dm/Statman81.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/tcs/Statman81，作者＝{Richard Statman}，title={关于类型lambda演算中闭项的存在性{II:}统一问题的变换}，日志={Theor.Comput.Sci.}，体积={15}，页数={329--338}，年份={1981}，url={https://doi.org/10.1016/0304-3975（81）90086-4}，doi={10.1016/0304-3975（81）90086-4}，timestamp={2021年2月17日星期三00:00:00+0100}，比布尔={https://dblp.org/rec/journals/tcs/Statman81.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在处理{DBLP:conf/focs/Statman81，author={Richard Statman}，title={可由多态程序计算的数论函数（扩展摘要）}，booktitle={第22届计算机科学基础年会，纳什维尔，美国田纳西州，1981年10月28日至30日}，页数={279--282}，publisher={{IEEE}计算机协会}，年份={1981}，url={https://doi.org/10.109/SFCS.1981.24},doi={10.1109/SFCS.1981.24}，timestamp={2023年3月23日星期四00:00:00+0100}，biburl={https://dblp.org/rec/conf/focs/Statman81.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/ndjfl/Statman80，author={Richard Statman}，title={Chang和Lee问题的解决方案}，journal={圣母院J.正式日志.}，体积={21}，数字＝{3}，页数={518--520}，年份={1980年}，url={https://doi.org/10.1305/ndjfl/1093883175},doi＝{10.1305/NDJFL/10938883175}，timestamp={2020年5月21日星期四01:00:00+0200}，biburl={https://dblp.org/rec/journals/ndjfl/Statman80.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/siamcomp/Statman80，author={Richard Statman}，title＝{具有参数调制的输入分辨率的最坏情况指数下界}，日志={{SIAM}J.计算}，体积={9}，数字={1}，页面＝{104-110}，年份={1980年}，url={https://doi.org/10.1137/0209008},doi={10.1137/0209008}，timestamp={2017年5月27日星期六01:00:00+0200}，biburl={https://dblp.org/rec/journals/siamcomp/Statman80.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/tcs/Statman79，author={Richard Statman}，title={直觉命题逻辑是多项式空间完备}，日志={Theor.Comput.Sci.}，体积={9}，页数={67--72}，年份={1979}，网址={https://doi.org/10.1016/0304-3975(79)90006-9},doi={10.1016/0304-3975（79）90006-9}，timestamp={2021年2月17日星期三00:00:00+0100}，biburl={https://dblp.org/rec/journals/tcs/Statman79.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/tcs/Statman79a，author={Richard Statman}，title={键入的lambda-Calculus不是初等递归}，期刊＝{Theor.Comput.Sci.}，体积={9}，页数={73--81}，年份={1979}，url={https://doi.org/10.1016/0304-3975(79)90007-0},doi={10.1016/0304-3975（79）90007-0}，timestamp={2021年2月17日星期三00:00:00+0100}，比布尔={https://dblp.org/rec/journals/tcs/Statman79a.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/scc/GourlayRS79，author={John S.Gourlay和William C.Rounds和Richard Statman}，编辑={吉尔斯·卡恩}，title={关于并发系统收缩所保留的属性}，booktitle={并发计算的语义，国际会议录研讨会，法国埃维昂，1979年7月2日至4日}，series={计算机科学讲稿}，体积={70}，页数={51--65}，publisher={Springer}，年份={1979}，url={https://doi.org/10.1007/BFb0022463},doi={10.1007/BFB0022463}，timestamp={2019年5月14日星期二10:00:49+0200}，biburl={https://dblp.org/rec/conf/scc/GourlayRS79.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在处理{DBLP:conf/focs/Statman77，author={Richard Statman}，title={键入的lambda-Calculus不是初等递归}，booktitle={第18届计算机科学基础年会，普罗维登斯，美国罗德岛州，1977年10月31日至11月1日}，页数={90--94}，publisher={{IEEE}计算机协会}，年份={1977年}，url={https://doi.org/10.109/SFCS.1977.34},doi={10.1109/SFCS.1977.34}，时间戳＝{2023年3月23日星期四00:00:00+0100}，biburl={https://dblp.org/rec/conf/focs/Statman77.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
