×

2003年6月10日至12日在西班牙巴伦西亚举行的第六届lambda calculi类型及其应用国际会议上发表的论文选集。 (英语) 兹比尔1072.03503

本卷的文章将单独进行审查。上一次会议(2001年5月)已经过审查(参见Zbl 0961.00016号). 已审查了第六届会议的其他文件(见Zbl 1029.00023号).

MSC公司:

03-06 与数理逻辑和基础有关的会议记录、会议、收藏等
68-06 与计算机科学有关的会议记录、会议、收藏等
00B25型 其他特别感兴趣的会议记录
PDF格式BibTeX公司 XML格式引用