BibTeX记录conf/tacs/GardnerH97
@进行中{DBLP:conf/tacs/GardnerH97， author={Philippa Gardner和 Masahito Hasegawa}， editor={Mart{\'{\i}}n Abadi和 伊藤孝文}， title={高阶动作演算的类型和模型}， booktitle={计算机软件的理论方面，第三届国际研讨会， {TACS}'97，日本仙台，1997年9月23日至26日，会议记录}， series={计算机科学讲稿}， 体积={1281}， 页数={583--603}， publisher={Springer}， 年份={1997}， url={ https://doi.org/10.1007/BFb0014569 }, doi={10.1007/BFB0014569}， timestamp={2022年10月2日，星期日16:16:20+0200}， 比布尔={ https://dblp.org/rec/conf/tacs/GardnerH97.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
