BibTeX记录conf/tacs/Gardner94
@进行中{DBLP:conf/tacs/Gardner94， 作者={菲利普·加德纳}， editor={Masami Hagiya和 约翰·米切尔， title={使用类型理论发现所需的约简}， booktitle＝{计算机软件的理论方面，国际会议 {TACS}'94，日本仙台，1994年4月19日至22日，会议记录}， series={计算机科学讲稿}， 体积={789}， 页数={555--574}， publisher={Springer}， 年份={1994年}， url={ https://doi.org/10.1007/3-540-57887-0 \_115}, doi={10.1007/3-540-57887-0\_115}， timestamp={2019年5月14日星期二10:00:51+0200}， biburl={ https://dblp.org/rec/conf/tacs/Gardner94.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
