类型化Lambda微积分和应用国际会议（TLCA）
2015年第13届TLCA：波兰华沙
托尔斯滕·阿滕柯奇 :
2015年7月1日至3日在波兰华沙举行的第十三届国际Lambda类型演算与应用会议，TLCA 2015。 LIPIcs公司 38, 达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2015 ，国际标准图书编号 978-3-939897-87-3 [目录]
区域贸易协定 -TLCA 2014：奥地利维也纳
吉尔斯·道克 :
2014年7月14日至17日，奥地利维也纳，作为维也纳逻辑夏季的一部分，RTA-TLCA 2014年联合国际会议，改写和打字Lambda Calculi。 诉讼程序。 计算机科学课堂讲稿 8560, 施普林格 2014 ，国际标准图书编号 978-3-319-08917-1 [目录]
2013年第11届TLCA：荷兰埃因霍温
长谷川正仁 
:
2013年6月26日至28日，荷兰埃因霍温，2013年TLCA第11届国际会议，《打字Lambda微积分与应用》。 诉讼程序。 计算机科学课堂讲稿 7941, 施普林格 2013 ，国际标准图书编号 978-3-642-38945-0 [目录]
2011年第十届TLCA：塞尔维亚诺维萨德
C.-H.卢克·翁 :
2011年6月1日至3日，塞尔维亚诺维萨德，2011年TLCA第十届国际会议，《打字兰姆达计算与应用》。 诉讼程序。 计算机科学课堂讲稿 6690, 施普林格 2011 ，国际标准图书编号 978-3-642-21690-9 [目录]
2009年第9届TLCA：巴西巴西利亚
皮埃尔·路易斯·居里 :
2009年7月1日至3日，巴西巴西利亚，第九届国际TLCA大会，《打字兰姆达演算与应用》。 诉讼程序。 计算机科学课堂讲稿 5608, 施普林格 2009 ，国际标准图书编号 978-3-642-02272-2 [目录]
2007年第八届TLCA：法国巴黎
西蒙娜·隆奇·德尔拉·罗卡 :
2007年6月26-28日，法国巴黎，TLCA 2007，第八届国际会议，《打字Lambda演算与应用》，会议记录。 计算机科学课堂讲稿 4583, 施普林格 2007 ，国际标准图书编号 978-3-540-73227-3 [目录]
2005年第7届TLCA：日本奈良
巴维尔·乌尔兹琴 :
打字Lambda微积分与应用，第七届国际会议，2005年TLCA，日本奈良，2005年4月21日至23日，会议记录。 计算机科学课堂讲稿 3461, 施普林格 2005 ，国际标准图书编号 3-540-25593-1 [目录]
2003年第六届TLCA：西班牙巴伦西亚
马丁·霍夫曼 :
2003年6月10日至12日，西班牙巴伦西亚，TLCA 2003，第六届国际会议，《Lambda Calculi及其应用》。 计算机科学课堂讲稿 2701, 施普林格 2003 ，国际标准图书编号 3-540-40332-9 [目录]
2001年第五届TLCA：波兰克拉科夫
萨姆森·阿布拉姆斯基 :
2001年5月2日至5日，波兰克拉科夫TLCA 2001年第五届国际会议，《打字兰姆达微积分与应用》，会议记录。 计算机科学课堂讲稿 2044, 施普林格 2001 ，国际标准图书编号 3-540-41960-8 [目录]
1999年第四届TLCA：意大利拉奎拉
吉恩·伊夫·吉拉德 :
《打字Lambda演算与应用》，第四届国际会议，TLCA’99，意大利拉奎拉，1999年4月7日至9日，会议记录。 计算机科学课堂讲稿 1581, 施普林格 1999 ，国际标准图书编号 3-540-65763-0 [目录]
1997年第三届TLCA：法国南希
菲利普·德·格鲁特 :
类型化Lambda演算和应用，第三届类型化Lambeda演算与应用国际会议，1997年TLCA，法国南希，1997年4月2-4日，会议记录。 计算机科学课堂讲稿 1210, 施普林格 1997 ，国际标准图书编号 3-540-62688-3 [目录]
1995年第二届TLCA：英国爱丁堡
Mariangiola Dezani-Ciancaglini公司 , 戈登·普洛金 :
《类型化Lambda演算及其应用》，第二届类型化Lambeda演算及应用国际会议，TLCA’95，英国爱丁堡，1995年4月10日至12日，会议记录。 计算机科学课堂讲稿 902, 施普林格 1995 ，国际标准图书编号 3-540-59048-X号 [目录]
1993年第1届TLCA：荷兰乌得勒支
马克·贝泽姆 , 简·弗里索·格鲁特 :
类型化Lambda演算与应用，类型化Lambeda演算和应用国际会议，TLCA’93，荷兰乌得勒支，1993年3月16日至18日，会议记录。 计算机科学课堂讲稿 664, 施普林格 1993 ，国际标准图书编号 3-540-56517-5 [目录]
