BibTeX记录conf/生日/StatmanB05
@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 } }
