停止战争！

Осрановиревойну！

对于科学家：

默认搜索操作

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

问别人

2007年第8届TLCA：法国巴黎

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/2007年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/2007
西蒙娜·隆奇·德尔拉·罗卡:
2007年6月26-28日，法国巴黎，TLCA 2007，第八届国际会议，《打字Lambda演算与应用》，会议记录。计算机科学课堂讲稿4583,施普林格 2007，国际标准图书编号978-3-540-73227-3
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Pfenning07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Pfenning07网址
弗兰克·普芬宁:
显式替换的逻辑基础。 1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Baillot07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Baillot07
帕特里克·贝洛特:
从多项式时间计算的证明网到线性逻辑型系统。 2-7
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/阿贝尔07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Abel07网址
安德烈亚斯·阿贝尔:
强正规化和等（钴）归纳类型。 8-22
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/贝拉迪07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Berardi07网址
斯特凡诺·贝拉迪:
基于带伸缩动作的Tarski游戏的直觉算术语义。 23-38
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/BlumO07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/BlumO07
威廉·布鲁姆,C.-H.卢克·翁:
安全兰姆达微积分。 39-53
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/博尔梅07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Boulme07网站
西尔万·博尔梅:
直觉精炼微积分。 54-69
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/BoveC07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/BoveC07网址
安娜·波夫,维南西奥·卡普雷塔:
预言计算。 70至83
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/戴维N07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/DavidN07
雷内·戴维,卡里姆·努尔:
函数强正规化的一个算法证明λ-类型上的递归方程微积分。 84-101
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/CousineauD07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/CousineauD07
丹尼斯·库西诺,吉尔斯·道克:
在Lambda-Pi-Calculus模中嵌入纯类型系统。 102-117
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Santo07号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Santo07网址
何塞·埃斯皮里托·桑托:
完成Herbelin的计划。 118-132
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/SantoMP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/SantoMP07
何塞·埃斯皮里托·桑托,拉尔夫·马提斯,路易斯·平托:
直觉顺序演算的连续传球风格和强标准化。 133-147
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/FaggianP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/FaggianP07
克劳迪娅·法根,毛罗·皮科洛:
Ludics是金融线性Pi-Calculus的模型。 148-162
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Fiore07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Fiore07
马塞洛·P·菲奥雷:
乘法加性直觉线性逻辑模型中的微分结构。 163-177
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/IntrigilaS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/IntrigilaS07网址
贝内代托·因特里吉拉,理查德·斯塔特曼:
欧米茄法则是P₁¹-在中完成兰达贝塔-微积分。 178-193
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/江Z07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/JiangZ07
盈江,张国强:
弱分布域。 194-206
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/JohannG07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/JohannG07
帕特里夏·约翰,尼尔·加尼:
初始代数语义足够了！ 207-222
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/KiselyovS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/KiselyovS07网址
奥列格·基塞利约夫,Chung-chieh Shan公司:
用于分隔连续体的子结构类型系统。 223-239
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Kusmierek07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Kusmierek07网址
Dariusz Kusmierek公司:
两级交叉口类型的居住问题。 240-254
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/林德利07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/林德利07
萨姆·林德利:
用和进行扩展重写。 255-271
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/LiptonN07号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/LiptonN07
利普敦,苏珊娜·尼娃:
带约束的高阶逻辑编程语言：语义。 272-289
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Marion公司07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Marion07网址
珍妮·伊夫·马里恩:
可行性和对角化的预测分析。 290-304
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/马扎07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Mazza07网址
达米亚诺·马扎:
对称相互作用组合器的建筑物和完整抽象。 305-320
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/MostrousY07型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/MostrousY07
迪米特里斯·莫斯特罗斯,吉田信子:
用于高阶移动进程的两个会话类型系统。 321-335
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Nakazawa07号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Nakazawa07网址
中泽浩二:
删减过程和证明约简之间的同构。 336-350
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/ShkaravskaKE07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/ShkaravskaKE07
奥尔哈·什卡拉夫斯卡,罗恩·范·凯斯特伦,马可·C·J·D·范·埃克伦:
一阶函数的多项式尺寸分析。 351-365
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Tatsuta07型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Tatsuta07网址
Makoto Tatsuta公司:
分离和二阶存在量子化的简单饱和集。 366-380
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Vaux07文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Vaux07网址
莱昂内尔·沃克斯:
卷积λ̅μ-微积分。 381-395

服务

管理网站设置

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