停止战争！

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

对于科学家：

默认搜索操作

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

问别人

1999年第四届TLCA：意大利拉奎拉

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/1999
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/1999
吉恩·伊夫·吉拉德:
《打字Lambda演算与应用》，第四届国际会议，TLCA’99，意大利拉奎拉，1999年4月7日至9日，会议记录。计算机科学课堂讲稿1581,施普林格 1999，国际标准图书编号3-540-65763-0

受邀的演示

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/安德烈奥利99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Andreli99
Jean-Marc安德烈奥利:
协调语言工具和应用程序。 1-5
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/EidorffHMNST99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/EidorffHMNST99
彼得·哈里·艾多夫,弗里茨·亨利恩,克里斯蒂安·莫辛,海宁日产,莫滕·海因·瑟伦森,疯子托夫特:
AnnoDomini实践：2000年问题的类型理论方法。 6-13

贡献

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Abrusci99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Abrusci99
V.米歇尔·阿布鲁西:
非通信逻辑中的模块。 14-24
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/BaillotP99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/BaillotP99
帕特里克·贝洛特,马可·佩迪奇尼:
基本复杂性和交互几何。 25-39
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/BarrieroE99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/BarrieroE99
努诺·巴雷罗,托马斯·埃尔哈德:
重新审视定量语义学。 40-53
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Berardid99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Berardid99
斯特凡诺·贝拉迪,乌戈·德利古罗:
总体功能和基础良好的战略。 54-68
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/BrodaD99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/BrodaD99
萨宾·布罗达,路易斯·达马斯:
计算类型的主要居民。 69-82
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Damiani99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Damiani99
费鲁西奥·达米亚尼:
代数数据类型PCF的无用代码检测和消除。 83-97
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/David99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/David99
雷内·戴维:
每一个不可解决的λ术语有修饰语。 98-113
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/GianantonioFH99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/GianantonioFH99
彼得罗·迪·贾南托尼奥,吉安卢卡·佛朗哥,Furio Honsell先生:
无类型的游戏语义λ-β-eta-微积分。 114-128
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/DybjerS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/DybjerS99
彼得·戴比杰,安东·塞策:
归纳递归定义的有限公理化。 129-146
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/FioreS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/FioreS99
马塞洛·菲奥雷,亚历克斯·K·辛普森:
Lambda通过Grothendieck逻辑关系定义和。 147-161
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Fujita99型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Fujita99
藤田贤一:
显式键入λµ-Call-by值多态性的微积分。 162-176
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Goguen99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Goguen99
Healfdene Goguen公司:
类型化操作语义逻辑框架的合理性。 177-197
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/长谷川99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Hasegawa99
长谷正彦:
直觉线性类型理论的逻辑谓词。 198-212
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Laurent99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Laurent99
奥利维耶·劳亨:
极化校对网络：LC的校对网络。 213-227
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/利维99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Levy99
保罗·布莱恩·利维:
Call-by-Push-Value:订阅范式。 228-242
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/MikamiA99文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/MikamiA99
Seikoh Mikami公司,阿卡玛（Yohji Akama）:
艾布拉姆斯基线性化学萃取机的研究。 243-257
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/OHearn99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/OHearn99
彼得·W·奥赫恩:
资源解释、集群含义和α-λ-微积分。 258-279
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Ohori99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Ohori99网址
大森Atsushi Ohori:
编译和程序执行的Curry-Howard同构。 280-294
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/PolakowP99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/PolakowP99
杰夫·波拉科,弗兰克·普芬宁:
直觉非交流线性逻辑的自然演绎。 295-309
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/PollZ99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/PollZ99
埃里克·波尔,扬·兹瓦恩堡:
抽象数据类型作为存在类型的逻辑。 310-324
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Ritter99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Ritter99
艾克·里特:
明确表示保留终止的替代的特征。 325-339
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/SatoSB99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/SatoSB99
佐藤正彦,樱井隆夫（Takafumi Sakurai）,罗德·M·伯斯托尔:
显式环境。 340-354
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Statman99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Statman99
理查德·斯塔特曼:
Jacopini定理的结果：一致的等式和方程。 355-364
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/UrbanB99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/UrbanB99
克里斯蒂安·厄本,加文·M·比尔曼:
经典逻辑中截除的强正规化。 365-380
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Zwanenburg99文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Zwanenburg99
扬·兹瓦恩堡:
带有子类型的纯类型系统。 381-396

服务

管理网站设置

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