×
马克·贝泽姆（编辑）;格罗特，Jan F。（编辑）

键入lambda计算和应用程序。1993年3月16日至18日在荷兰乌得勒支举行的1993年TLCA国际会议。诉讼程序。 （英语） Zbl 0866.00038号

计算机科学课堂讲稿. 664. 柏林：Springer-Verlag。八、 433 p.DM 80.00/sc（1993年）。

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

本卷的文章将单独进行审查。
索引文章：
Yohji阿卡玛，关于Mints对ccc-演算的简化，1-12[Zbl 0786.03006号]
托尔斯滕·阿滕柯奇，LEGO系统F强规范化证明的形式化，13-28[Zbl 0797.68095号]
范·贝克尔，斯特芬，应用项重写系统中的部分交集类型赋值，29-44[兹比尔0797.68091]
佛朗哥·巴巴内拉；斯特凡诺·贝拉尔迪，通过类控制约简从经典逻辑中提取构造性内容，45-59[兹比尔0788.68016]
佛朗哥·巴巴内拉；玛丽贝尔·费尔南德斯，将一阶和高阶重写系统与类型分配系统相结合，60-74[Zbl 0788.68079号]
尼克·本顿（Nick Benton）；加文·比尔曼；瓦莱里亚·德·佩瓦；马丁·海兰德，直觉线性逻辑的术语演算，75-90[Zbl 0795.68127号]
乌尔里希·伯杰，从规范化证明中提取程序，91-106[Zbl 0788.68015号]
朱塞佩·卡斯塔尼亚；乔治·盖利；朱塞佩·隆戈，\（\lambda\）的语义&-早期的：重载和早期绑定的微积分，107-123[Zbl 0797.68027号]
Di Gianantonio，Pietro；Furio Honsell，应用的抽象概念，124-138[兹比尔0788.68090]
Gilles Dowek，lambda-pi-演算中典型性的不可判定性，139-145[Zbl 0788.68017号]
乔治·盖利，递归类型不保守于\（F_\leq\），146-162[Zbl 0786.03012号]
菲利普·德格罗特，重温守恒定理，163-178[Zbl 0795.03020号]
Hyland，J.M.E。；Ong，C.-H.L.公司。，修改的可实现拓扑和强正规化证明，179-194[Zbl 0793.03079号]
巴特·雅各布斯，lambda-I和其他亚结构lambda结石的语义，195-208[Zbl 0795.68126号]
巴特·雅各布斯；汤姆·梅尔姆，将依赖型理论转化为高阶逻辑，209-229[Zbl 0788.68130号]
阿希姆·荣格（Achim Jung）；艾伦·斯托顿，在连续函数模型中研究PCF的完全抽象模型，230-244[Zbl 0788.68021号]
阿希姆·荣格（Achim Jung）；Jerzy Tiuryn，λ可定义性的新表征，245-257[Zbl 0795.03021号]
汉斯·雷伊，结合递归和动态类型，258-273[Zbl 0795.68029号]
丹尼尔·利万特（Daniel Leivant）；Jean-Yves玛丽恩，多重时间的Lambda演算特征，274-288[Zbl 0788.68051号]
詹姆斯·麦金纳（James McKinna）；罗伯特·波拉克，形式化的纯类型系统，289-305[Zbl 0835.68068号]
托比亚斯·尼普科，正交高阶重写系统是合流的，306-317[Zbl 0789.68081号]
丹尼尔·奥思。，单调与反单调指数，318-327[Zbl 0811.68104号]
克里斯汀·保林·莫林，系统Coq中的归纳定义；规则和属性，328-345[兹比尔0844.68073]
本杰明·皮尔斯。，交叉类型和有界多态性，346-360[Zbl 0788.68022号]
普罗特金，戈登；马丁·阿巴迪，参数多态性逻辑，361-375[Zbl 0788.68091号]
库尔特·西伯，Call-by值和不确定性，376-390[Zbl 0788.68092号]
斯普林菲尔德，一月，（lambda{\underline\omega}\）和（lambda-P\）中类型约简的上下界，391-405[Zbl 0795.68028号]
高桥，Masako，\（\lambda\）-带条件规则的计算，406-417[Zbl 0806.03014号]
巴威·乌尔兹琴，无法确定\（\mathbf F_\omega\）中的类型重建，418-432[Zbl 0791.68059号]

引用于2评论
引用于5文件

MSC公司：

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

关键词：

乌得勒支（荷兰）;诉讼程序;会议;1993年TLCA;Lambda结石

软件：

Coq公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Bezem}（编辑）和textit{J.F.Groote}（主编），键入lambda计算和应用。1993年3月16日至18日在荷兰乌得勒支举行的1993年TLCA国际会议。诉讼程序。柏林：Springer-Verlag（1993；Zbl 0866.00038）
全文： 内政部