停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2016年类型：塞尔维亚诺维萨德

>主页 >会议和研讨会 >类型

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@dagstuhl.de（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/类型/2016
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/2016
西尔维娅·吉勒赞,赫尔曼·杰弗斯,Jelena Ivetic公司:
2016年5月23日至26日在塞尔维亚诺维萨德举行的第22届国际证明和程序类型会议，Types 2016。 LIPIcs公司97,达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2018，国际标准图书编号978-3-95977-065-1
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/类型/X16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/X16
前言、目录、前言、会议组织。 0:i-0:x
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/types/Miller16型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/Miller16
戴尔·米勒:
机械化元理论重温：扩展摘要（特邀论文）。 1:1-1:16
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/types/Rocca16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/Rocca16
西蒙娜·隆奇·德尔拉·罗卡:
交叉类型和指称语义：扩展摘要（特邀论文）。 2:1-2:7
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/types/AdamsBC16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/AdamsBC16
罗宾·亚当斯,马克·贝泽姆,蒂埃里·科昆:
高阶极小逻辑中命题可拓性的规范化计算规则。 3:1-3:20
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/types/AschieriM16型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/AschieriM16
费德里科·阿舍里,马泰奥·马尼盖蒂:
论Herbrand构造逻辑的自然演绎Ⅱ：一阶逻辑和算术中Markov原理的Curry-Howard对应。 4:1-4:17
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/types/BauerGHPS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/BauerGHPS16
安德烈·鲍尔,加丹·吉尔伯特,菲利普·哈塞尔沃特,马蒂亚·普雷特纳,克里斯托弗·斯通:
仙女座校对助手的设计与实现。 5:1-5:31
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/类型/BezemC0P16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/BezemC0P16
马克·贝泽姆,蒂埃里·科昆,中田惠子,埃里克·帕尔曼:
工作中的可实现性：分离两种有限性的建设性概念。 6:1-6:23
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/types/BooijELS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/BooijELS16
奥克·巴特·布伊吉,马丁·霍泽尔·埃斯卡多,彼得·勒法努·卢姆斯代恩,迈克尔·舒尔曼:
参数性、宇宙自同构和排除中间。 7:1-7:14
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/types/ChrzaszczSZ16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/ChrzaszczSZ16
杰切克·克尔扎斯茨（Jacek Chrzaszcz）,阿列克西·舒伯特,雅库布·扎克热夫斯基:
HAHA的Coq支持。 8:1-8:26
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/类型/Czajka16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/Czajka16
卢卡斯·扎伊卡:
纯类型系统在一阶逻辑中的浅嵌入。 9:1-9:39
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/types/SantoFP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/SantoFP16
何塞·埃斯皮里托·桑托,玛丽亚·若昂·弗雷德,路易斯·平托:
直觉序贯演算与割的证明术语中的置换性。 10:1-10:27
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/types/Favonia016文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/Favonia016
Kuen-Bang Hou（法沃尼亚）,罗伯·哈波:
同伦类型理论中的覆盖空间。 11:1-11:16
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/类型/IgriedS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/IgriedS16
巴沙尔·伊格瑞德,安东·塞泽尔:
为CSP-Agda定义跟踪语义。 12:1-12:23
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/types/LunguL16型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/LunguL16
乔治安娜·E·伦古,罗朝晖:
关于典型对象类型理论中的子类型。 13:1-13:31
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/types/Martin-DorelS16型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/Martin-DorelS16网站
埃里克·马丁·多尔,谢尔盖·索洛维耶夫:
以随机公式作为支付函数的布尔对策的形式化研究。 14:1-14:22
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/types/Statman16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/Statman16
理查德·斯塔特曼:
操作语义BCD的完整性。 15:1-15:5

服务

管理网站设置

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