默认搜索操作

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

问别人

1995年第二届TLCA：英国爱丁堡

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/1995
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/1995
Mariangiola Dezani-Ciancaglini公司,戈登·普洛金:
《类型化Lambda演算及其应用》，第二届类型化Lambeda演算及应用国际会议，TLCA’95，英国爱丁堡，1995年4月10日至12日，会议记录。计算机科学课堂讲稿902,施普林格 1995，国际标准图书编号3-540-59048-X号
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/AspertiL95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/AspertiL95
安德里亚·阿斯佩蒂,科西莫·拉伊夫:
比较共享图中的Lambda-calculus转换。 1-15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Barthe95年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Barthe95网址
吉尔斯·巴特:
纯类型系统的扩展。 16-31
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/BellucciAC95公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/BellucciAC95
罗伯托·贝鲁奇,马丁·阿巴迪,皮埃尔·路易斯·居里:
形式参数多态模型：R系统的PER解释。 32-46
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/BerardiBC95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/BerardiBC95
斯特凡诺·贝拉迪,马克·贝泽姆,蒂埃里·科昆:
实现对选择公理的否定解释。 47-62
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/BerardiB95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/BerardiB95
斯特凡诺·贝拉迪,卢卡·博埃里:
在程序优化中使用子类型。 63-77
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/比尔曼95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Bierman95网址
加文·M·比尔曼:
什么是直觉线性逻辑的范畴模型？ 78-93
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Briaud95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Briaud95
丹尼尔·布里奥德:
一个明确的Eta重写规则。 94-108
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/CoscoyKT95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/CoscoyKT95
Yann Coscoy公司,吉尔斯·卡恩,洛朗·塞里:
从校样中提取文本。 109-123
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/DespeyrouxFH95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/DespeyrouxFH95
乔尔·德斯佩罗,艾米·费尔蒂,安德烈·赫肖维茨:
Coq中的高阶抽象语法。 124-138
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/CosmoP95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/CosmoP95
罗贝多·迪·科斯莫,阿道夫·皮佩诺:
扩展扩展多态性。 139-153
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Dowek95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Dowek95
吉尔斯·道克:
Lambda-calculus，组合词和理解方案。 154-170
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Ghani95号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Ghani95网址
尼尔·加尼:
ßn-副积的等式。 171-185
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/戈根95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Goguen95
Healfdene Goguen公司:
键入的操作语义。 186-200
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Groote公司95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Groote95
菲利普·德格罗特:
异常处理的简单计算。 201-215
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/霍夫曼95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Hofmann95
马丁·霍夫曼:
商类型的简单模型。 216-234
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Holmes95型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Holmes95
M.兰德尔·霍姆斯:
无类型lambda-Calculus与相对类型。 235-248
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/HonsellL95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/HonsellL95
福里奥·霍塞尔,玛丽娜·莱尼萨:
非类型lambda-calculus的最终语义。 249-265
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Hurkens95型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Hurkens95
安东尼乌斯·赫肯斯:
吉拉德悖论的简化。 266-278
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Kondoh95号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Kondoh95
Hidetaka Kondoh先生:
具有不等式求精的数据类型的基本属性。 279-296
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/KurataT95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/KurataT95
仓田俊彦,高桥雅子:
交叉口类型系统的可决定特性。 297-311
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Leclerc95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Leclerc95
弗朗索瓦·勒克莱尔:
具有多集路径排序的项重写系统的终止证明。系统Coq的一个完整发展。 312-327
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/梅利95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Mellie95
保罗·安德烈·梅利斯:
带有显式替换的类型lambda-calculi可能不会终止。 328-334
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Padovani95型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Padovani95网址
文森特·帕多瓦尼:
关于插值方程的等价类。 335-349
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/PolS95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/PolS95
雅各·范德波尔,赫尔穆特·施维赫滕贝格:
终止证明的严格功能。 350-364
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Pollack公司95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Pollack95
罗伯特·波拉克:
已验证的类型检查器。 365-380
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/PravatoRR95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/PravatoRR95
阿尔贝托·普拉瓦托,西蒙娜·隆奇·德尔拉·罗卡,卢卡·罗维斯:
按调用值lambda-calculus的分类语义。 381-396
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/RitterP95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/RitterP95
艾克·里特,安德鲁·皮特斯:
具有参考类型的Lambda-Calculus与标准ML之间的完全抽象转换。 397-413
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/辛普森95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Simpson95
亚历克斯·K·辛普森:
简单型lambda-calculus的范畴完备性结果。 414-427
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Springintveld95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Springintveld95
简·斯普林因特维尔德:
存在类型构造函数时的三阶匹配。 428-442

管理网站设置

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