“打字兰姆达微积分和应用,第八届国际会议,TLCA…”
西蒙娜·隆奇·德尔拉·罗卡 :
2007年6月26-28日,法国巴黎,TLCA 2007,第八届国际会议,《打字Lambda演算与应用》,会议记录。 计算机科学课堂讲稿 4583, 施普林格 2007 ,十亿 978-3-540-73227-3 [目录]
由于引用数据不可用,以下列表可能不完整, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)