BibTeX记录日志/mscs/DavidG01
@文章{DBLP:journals/mscs/DavidG01， author={Ren{\'{e}}大卫和 布鲁诺·纪尧姆}， title＝{具有显式弱化和显式替换的lambda演算}， journal={Math.Struct.Comput.Sci.}， 体积={11}， 数字={1}， 页数={169--206}， 年份={2001}， url={ http://journals.cambridge.org/action/displayAbstract？aid=67279 }, timestamp={2020年4月1日星期三08:48:47+0200}， biburl={ https://dblp.org/rec/journals/mscs/DavidG01.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
