默认搜索操作

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

问别人

1997年第三届TLCA：法国南希

>主页 >会议和研讨会 >薄层色谱法

SPARQL查询

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/1997
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/1997
菲利普·德格罗特:
类型化Lambda演算和应用，第三届类型化Lambeda演算与应用国际会议，1997年TLCA，法国南希，1997年4月2-4日，会议记录。计算机科学讲义1210,施普林格 1997，国际标准图书编号3-540-62688-3
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Akama97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Akama97
阿卡玛（Yohji Akama）:
用于强归一化的Lambda到CL的转换。 1-10
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/BelleM97公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/BelleM97
吉安娜·贝尔,尤金尼奥·莫吉:
形状分析的类型化中间语言。 11-29
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/BerardiB97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/BerardiB97
斯特凡诺·贝拉迪,卢卡·博埃里:
具有数据类型的纯函数语言中的最小信息代码。 30-45
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/BonoB97型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/BonoB97
维维亚娜·博诺,米歇尔·布列西:
Lambda对象演算的匹配约束。 46-62
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/BrandtH97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/BrandtH97
布兰特,弗里茨·亨利恩:
递归类型等式和子类型的共同公理化。 63-81
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Brauner97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Brauner97
托本·布拉纳:
PCF的一个简单的适当分类模型。 82-98
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Buciarelli公司97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Buciarelli97网址
安东尼奥·布恰雷利:
双域逻辑重建。 99-111
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Courant97号文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Courant97网址
朱迪卡·库兰特:
纯型系统的模演算。 112-128
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/DamianiG97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/DamianiG97
费鲁西奥·达米亚尼,保拉·贾尼尼:
严格性推理算法。 129-146
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/DespeyrouxPS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/DespeyrouxPS97
乔尔·德斯佩罗,弗兰克·普芬宁,卡斯滕·舒尔曼:
高阶抽象语法的基元递归。 147-163
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Ghani97号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Ghani97网址
尼尔·加尼:
从属类型理论中的Eta展开-构造演算。 164-180
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/游击队MM97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/游击队MM97
斯特凡诺·格雷尼,马提尼,安德烈亚·马西尼:
证明网、垃圾和计算。 181-195
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/长谷川97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Hasegawa97网址
长谷正彦:
循环共享的递归：循环Lambda演算的迹单体范畴和模型。 196-213
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Herbelin97型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Herbelin97网址
雨果·赫伯林:
经典PCF的游戏和弱者减少。 214-230
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Kurata97号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Kurata97
久田俊彦:
Böhm-树的类型理论视图。 231-247
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Lenisa97号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Lenisa97网址
玛丽娜·莱尼萨:
推导Lambda-calculi观测等价物共导特征的语义技术。 248-266
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/MalolepszyMZ97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/MalolepszyMZ97
简·马洛普齐,马尔戈扎塔·莫祖拉德,马雷克·扎昂克:
Schwichtenberg-Style Lambda可定义性无法确定。 267-283
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Raamsdonk97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Raamsdonk97
费尔克·范·拉姆斯登克:
外部公平改写。 284-299
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/RetoreL97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/RetoreL97
克里斯蒂安·雷托雷:
Pomset逻辑：经典线性逻辑的一个非交换扩展。 300-318
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Ruess97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Ruess97
哈拉尔德街:
构造演算中的计算反射及其在定理证明中的应用。 319-335
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Stark97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Stark97
伊恩·斯塔克:
名称、方程式、关系：推理的实用方法新的. 336-353
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Takeuti97号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Takeuti97网址
伊祖米·武提（Izumi Takeuti）:
参数公理系统。 354-372
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Urzyczyn97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Urzyczyn97网址
巴维尔·乌尔兹琴:
Lambda-Calculi类型中的居住（句法方法）。 373-389
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Xi97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Xi97
西红卫:
类型Lambda微积分中的弱和强贝塔规范化。 390-404

管理网站设置

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