马丁·霍夫曼(编辑);巴威·乌尔兹琴(编辑) 2003年6月10日至12日在西班牙巴伦西亚举行的第六届lambda calculi类型及其应用国际会议上发表的论文选集。 (英语) 兹比尔1072.03503 芬达姆。通知。 65,第1-2期,191页(2005年). 本卷的文章将单独进行审查。上一次会议(2001年5月)已经过审查(参见Zbl 0961.00016号). 已审查了第六届会议的其他文件(见Zbl 1029.00023号). 引用于1审查 MSC公司: 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 68-06 与计算机科学有关的会议记录、会议、收藏等 00B25型 其他特别感兴趣的会议记录 引文:Zbl 1029.00023号;Zbl 0961.00016号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}(编辑)和\textit{P.Urzyczyn}(主编),Fundam。通知。65,第1--2号,191页(2005年;Zbl 1072.03503)