停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

《理论计算机科学》第121卷

>主页 >期刊销售 >理论计算机科学

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第121卷，编号1和2，1993

为纪念科拉多·伯姆在他70岁生日之际

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AbadiCC93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AbadiCC93
马丁·阿巴迪,鲁卡·凯德利,皮埃尔·路易斯·居里:
形式参数多态。 9-58
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Barendregt93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Barendregt93
亨克·巴伦德雷格特:
λ-演算中范围性质的构造性证明。 59-69
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BerarducciI93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BerarducciI93
亚历山德罗·贝拉杜奇,贝内代托·因特里吉拉:
关于Easy lambda-Terms的一些新结果。 71-88
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/ConstableS93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/ConstableS93
罗伯特·康斯特布尔,斯科特·史密斯:
基本递归函数理论的计算基础。 89-112
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CoppoF93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CoppoF93
马里奥·科波奥,阿尔贝托·费拉里:
类型推理、抽象解释和严格性分析。 113-143
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Huet93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Huet93
杰拉德·P·休特:
Böhm定理分析。 145-167
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/JacopiniS93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/JacopiniS93
G.贾科皮尼,G.桑塔基:
非常简单的可解释类型lambda-Calculus中的一般递归函数。 169-178
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Brookes93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Brookes93
斯蒂芬·布鲁克斯:
G.Kahn和Gordon D.Plotkin对“混凝土领域”的历史介绍。 179-186
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/KahnP93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/KahnP93
吉尔斯·卡恩,戈登·普洛金:
混凝土领域。 187-277
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/KlopOR93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/KlopOR93
简·威廉·克洛普,文森特·范·奥斯特罗姆,费尔克·范·拉姆斯登克:
组合还原系统：介绍和综述。 279-308
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Leivant93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Leivant93
丹尼尔·利万特:
简单类型lambda演算中可定义的自由代数上的函数。 309-322
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/LongoMS93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/LongoMS93
朱塞佩·隆戈,凯瑟琳·米尔斯特德,谢尔盖·索洛维耶夫:
多态lambda-演算中的广义定理和参数性。 323-349
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Plotkin93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Plotkin93
戈登·普洛金:
λ演算的集合理论模型和其他基本模型。 351-409
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Scott93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Scott93
达纳·S·斯科特:
ISWIM、CUCH、OWHY的类型理论替代方案。 411-440
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Statman93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Statman93
理查德·斯塔特曼:
不存在组合器的一些示例。 441-448

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。