×
皮埃尔·路易斯·库里恩（编辑）

键入lambda计算和应用程序。2009年7月1日至3日在巴西巴西利亚举行的2009年TLCA第九届国际会议。诉讼程序。 （英语） Zbl 1165.03001号

计算机科学课堂讲稿5608.柏林：施普林格出版社（ISBN 978-3-642-02272-2/pbk）。xiii，417页。(2009).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。上一次会议已经过审查（参见兹比尔1120.03002).
索引文章：
安德烈亚斯·亚贝尔；Coquand、Thierry；米盖尔·帕加诺，具有单例类型和证明无关性的类型理论的模块化类型选择算法，5-19[Zbl 1246.03025号]
费德里科·阿西埃里（Federico Aschieri）；Stefano贝拉迪，基于交互式学习的Heyting算法的可实现性解释{EM}_1\), 20-34 [Zbl 1201.03051号]
罗伯特·艾奇，免费语法：使用参数表示带绑定的语法，35-49[Zbl 1246.68084号]
米歇尔·巴萨尔德拉；川崎捷瑞，关于逻辑完整性的含义，50-64[Zbl 1246.03076号]
皮埃尔·布德斯，厚子树，游戏和实验，65-79[Zbl 1246.03077号]
乌戈·达尔拉戈；马丁·霍夫曼，有界线性逻辑，重温，80-94[Zbl 1211.03089号]
克劳迪娅·法根（Claudia Faggian）；毛罗·皮科洛，部分顺序，事件结构和线性策略，95-111[Zbl 1246.03078号]
Fujita，Ken-etsu；阿列克西·舒伯特，存在型系统，术语中没有类型，112-126[Zbl 1246.03028号]
马科托·哈马纳，循环共享结构的初始代数语义，127-141[Zbl 1246.68160号]
雨果·赫伯林；斯特凡·齐默尔曼，“自然演绎”形式的按值调用最小和经典\（\lambda\）演算的运算说明，142-156[Zbl 1246.03030号]
威廉·洛瓦斯（William Lovas）；弗兰克·芬宁，精炼类型作为证明无关，157-171[Zbl 1202.68107号]
彼得·勒法努·卢姆斯代恩，弱\（\omega\）-来自内涵型理论的范畴，172-187[Zbl 1200.03050号]
亚历山大·米克尔，关于存在证据提取的经典可实现性和否定翻译，188-202[Zbl 1218.03015号]
Mostrous、Dimitris；吉田、Nobuko，基于会话的高阶移动进程通信优化，203-218[Zbl 1246.68069号]
米歇尔·帕加尼，带推广的微分网的割消定理，219-233[Zbl 1246.03079号]
芭芭拉·佩蒂特，具有构造器的lambda-calculus多态型系统，234-248[Zbl 1218.03018号]
史蒂夫·阿沃迪；弗洛里安·拉贝，马丁·洛夫扩展类型理论的克里普克语义，249-263[Zbl 1246.03022号]
科林·里巴，关于可约候选值，264-278[Zbl 1246.03031号]
杰弗里·萨纳特；卡斯滕·舒尔曼，词汇路径归纳，279-293[兹比尔1246.68078]
弗洛里安·斯坦格（Florian Stenger）；贾尼斯·沃格特兰德，Haskell的参数性，错误语义不精确，294-308[Zbl 1246.68087号]
卢茨斯特拉汉堡，关于二阶命题乘法线性逻辑证明理论的一些观察，309-324[兹比尔1246.03080]
克里斯汀·塔森，代数总体，走向完整，325-340[Zbl 1246.03081号]
津田武史；Atsushi Igarashi，环境分类器的逻辑基础，341-355[兹比尔1211.68064]
巴威·乌尔兹琴，低等级交叉口类型的居住，356-370[Zbl 1246.03034号]
莱昂内尔·沃克斯，微分线性逻辑和极化，371-385[Zbl 1246.03082号]
冈纳·威尔肯；安德烈亚斯·魏尔曼，哥德尔T在（λ）-公式中的复杂性，386-400[Zbl 1238.03024号]
张瑜，《计算SLR：关于计算不可分辨性的推理逻辑》，401-415[Zbl 1246.94042号]

引用于1审查
引用于2文件

MSC公司：

03-06 与数理逻辑和基础有关的会议记录、会议、收藏等
68-06 与计算机科学有关的会议记录、会议、收藏等
03B40型 组合逻辑和lambda演算
68甲18 函数编程和lambda演算
00B25型 杂项特定利益的会议记录

引文：

Zbl 1120.03002号
PDF格式BibTeX公司 XML格式引用
\textit{P.-L.居里}（编辑），《键入的lambda计算和应用》。2009年7月1日至3日在巴西巴西利亚举行的2009年TLCA第九届国际会议。诉讼程序。柏林：施普林格出版社（2009；Zbl 1165.03001）
全文： 内政部 arXiv公司