LIPIcs，第167卷
第五届计算和演绎形式结构国际会议（FSCD 2020）
-
部分： 系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算和演绎的形式结构（FSCD）
出版物详细信息
发布时间：2020-06-28 出版商：Schloss Dagstuhl–Leibniz Zentrum für Informatik 国际标准图书编号：978-3-95977-155-9 DBLP： db/conf/rta/fscd2020
接入号码
-
此处提供详细的访问统计信息 文档访问总数（每周更新）： 0 PDF下载
文件
LIPIcs，第167卷，FSCD 2020，完整卷
摘要
引用为
@会议记录{ariola:LIPIcs.FSCD.2020， title={{LIPIcs，第167卷，FSCD 2020，完整卷}}， booktitle＝{第五届计算和推导形式结构国际会议（FSCD 2020）}， 页数={1--732}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020 }， URN={URN:nbn:de:0030-drops-123219}， doi={10.4230/LIPIcs.FSCD.2020}， annote={关键词：LIPIcs，第167卷，FSCD 2020，完整卷} }
封面、目录、前言、会议组织
摘要
引用为
@会议记录{ariola:LIPIcs.FSCD.2020.0， author={Ariola，Zena M.}， title＝{前面的问题，目录，序言，会议组织}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页面={0:i--0:xx}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.FSCD.2020.0 }， URN={URN:nbn:de:0030-drops-123228}， doi＝{10.4230/LPIcs.FSCD.2020.0}， annote={关键词：前沿问题、目录、序言、会议组织} }
概率环境中的可解性（邀请谈话）
摘要
引用为
@会议记录{ronchidellarocca_et_al:LIPIcs.FSCD.2020.1， 作者＝{Ronchi Della Rocca，Simona和Dal Lago，Ugo和Faggian，Claudia}， title={{概率设置中的可解性}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={1:1--1:17}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.FSCD.2020.1}， URN={URN:nbn:de:0030-drops-123237}， doi={10.4230/LIPIcs.FSCD.2020.1}， annote={关键词：概率计算，Lambda微积分，可解性，交集类型} }
元编程的模态分析，重温（受邀演讲）
摘要
引用为
@会议记录{peentka：LIPIcs.FSCD.2020.2， author={Pientka，Brigitte}， title={{元编程的模态分析，重温}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={2:1--2:3}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.2 }， URN={URN:nbn:de:0030-drops-123242}， doi={10.4230/LIPIcs.FSCD.2020.2}， annote={关键词：类型系统，元编程，模态类型系统} }
依赖型理论中的商（邀请谈话）
摘要
引用为
@会议记录{pitts:LIPIcs.FSCD.2020.3， author={皮特斯，安德鲁·M·}， title={{从属类型理论中的商}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={3:1--3:2}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， 编辑器＝{Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.FSCD.2020.3 }， URN={URN:nbn:de:0030-drops-123256}， doi={10.4230/LIPIcs.FSCD.2020.3}， annote={关键词：依赖型理论，商，商归纳型，理论证明系统} }
验证加权路径顺序（邀请谈话）
摘要
引用为
@会议记录{thiemann_et_al:LIPIcs.FSCD.2020.4， author={Thiemann、Ren和Sch“ {o} 功率因数 、乔纳斯和斯特纳格尔、克里斯蒂安和山田、秋叶}、， title＝｛｛证明加权路径次序｝｝， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={4:1--4:20}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.FSCD.2020.4 }， URN={URN:nbn:de:0030-drops-123263}， doi={10.4230/LIPIcs.FSCD.2020.4}， annote＝｛关键词：认证，Isabelle/HOL，减少顺序，终止分析｝ }
高效的全高阶统一
摘要
引用为
@会议记录{vukmirovic_et_al:LIPIcs.FSCD.2020.5， author={Vukmirovi\'{c}，Petar和Bentkamp，Alexander和Nummelin，Visa}， title={{高效全高阶统一}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={5:1--5:17}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， 编辑器＝{Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.FSCD.2020.5 }， URN={URN:nbn:de:0030-drops-123271}， doi={10.4230/LIPIcs.FSCD.2020.5}， annote={关键词：统一、高阶逻辑、定理证明、术语重写、索引数据结构} }
两类语言中的理解和商结构
摘要
引用为
@会议记录{mellies_et_al:LIPIcs.FSCD.2020.6， author={梅利\` {e} 秒 Paul-Andr和Rolland，Nicolas， title={{两类语言中的理解和商结构}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， pages={6:1-6:18}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.FSCD.2020.6 }， URN={URN:nbn:de:0030-drops-123282}， doi={10.4230/LIPIcs.FSCD.2020.6}， annote={关键词：理解结构、商结构、带段的理解结构、带图像的理解结构，2范畴，形式附加词，路径对象，范畴逻辑，代数上的归纳推理，余代数上的共推推理} }
代数效应和处理器的完全正规形式双相似性
摘要
引用为
@会议记录{biernacki_et_al:LIPIcs.FSCD.2020.7， 作者＝｛Biernacki，Dariusz和Lenglet，Sergue“｛i｝和Polesiuk，Piotr｝， title={{代数效应和处理器的完全正规形式双相似}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={7:1--7:22}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.FSCD.2020.7 }， URN={URN:nbn:de:0030-drops-123295}， doi={10.4230/LIPIcs.FSCD.2020.7}， annote={关键词：代数效应，处理程序，行为等价，双相似} }
带盒的Pomsets：并发Kleene代数中的保护、分离和局部性
摘要
引用为
@会议记录{brunet_et_al:LIPIcs.FSCD.2020.8， author={Brunet，Paul和Pym，David}， title={{带方框的Pomsets:并发Kleene代数}}中的保护、分离和局部性， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={8:1--8:16}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， 编辑器＝{Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.FSCD.2020.8 }， URN={URN:nbn:de:0030-drops-123308}， doi={10.4230/LIPIcs.FSCD.2020.8}， annote={关键词：并发Kleene代数，Pomsets，原子性，语义，分离，局部推理，束逻辑，框架规则} }
餐巾上半均匀化的不确定性
摘要
引用为
@会议记录{dudenhefner：LIPIcs.FSCD.2020.9， author={Dudenhefner，Andrej}， title={{餐巾上半统一的不确定性}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页码＝{9:1-9:16}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.FSCD.2020.9 }， URN={URN:nbn:de:0030-drops-123311}， doi={10.4230/LIPIcs.FSCD.2020.9}， annote={关键词：不确定性、半统一性、机械化} }
无功系统的条件相似性
摘要
引用为
@会议记录{hulsbusch_et_al:LIPIcs.FSCD.2020.10， 作者=“ {u} lsbusch公司 、Mathias和K\“ {o} 尼格 、芭芭拉和K“ {u} 佩尔 塞巴斯蒂安和斯托尔特诺，劳拉}， title={{无功系统的条件双相似性}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={10:1--10:19}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.10 }， URN＝{URN:nbn:de:00030-drops-123322}， doi={10.4230/LIPIcs.FSCD.2020.10}， annote={关键词：条件双相似性，反应系统，上下文，图变换} }
关于浅项重写系统正规形式唯一性的快速判定方法
摘要
引用为
@在诉讼中{yamaguchi_et_al:LIPIcs.FSCD.2020.11， 作者={山口、Masaomi和Aoto、Takahito}， title={{规范形式唯一性的快速判定程序，带浅项重写系统的转换}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={11:1--11:23}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.11 }， URN＝{URN:nbn:de:00030-drops-123338}， doi={10.4230/LIPIcs.FSCD.2020.11}， annote={关键词：正规形式w.r.t.转换的唯一性，浅项重写系统，决策过程} }
单数模与操作语义
摘要
引用为
@在诉讼中{hirschowitz _et_ al:LIPIcs.FSCD.2020.12， author={Hirschowitz，Andr'{e}和Hirschovitz，Tom和Lafont，Ambroise}， title={{Monad上的模块和操作语义}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={12:1--12:23}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.12 }， URN＝{URN:nbn:de:00030-drops-123341}， doi={10.4230/LIPIcs.FSCD.2020.12}， annote={关键词：操作语义学，范畴理论} }
依赖类型中重写规则的类型安全性
摘要
引用为
@在诉讼中{blanqui:LIPIcs.FSCD.2020.13， author={布兰基，法语\' {e} d日 \' {e} 里克 }， title={{依赖类型中重写规则的类型安全}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={13:1--13:14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， 编辑器＝{Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.13 }， URN={URN:nbn:de:0030-drops-123353}， doi={10.4230/LIPIcs.FSCD.2020.13}， annote={关键词：主题还原、重写、依赖类型} }
改进建设性混合游戏
摘要
引用为
@会议记录{bohrer_et_al:LIPIcs.FSCD.2020.14， author={Bohrer，Rose and Platzer，Andr\'{e}}， title={{精炼建设性混合游戏}}， booktitle＝{第五届计算和推导形式结构国际会议（FSCD 2020）}， 页数={14:1--14:19}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.14 }， URN={URN:nbn:de:0030-drops-123369}， doi={10.4230/LIPIcs.FSCD.2020.14}， annote={关键词：混合游戏，构造逻辑，精炼，游戏逻辑} }
数据流分析作为效果和分级单体
摘要
引用为
@会议记录{ivaskovic_et_al:LIPIcs.FSCD.2020.15， 作者={Iva\v {s} 科维舞 \{c}，安德烈和迈克罗夫特，艾伦和乌节，多米尼克}， title={{作为效果和分级单体的数据流分析}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={15:1--15:23}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.15 }， URN＝{URN:nbn:de:00030-drops-123376}， doi={10.4230/LIPIcs.FSCD.2020.15}， annote={关键词：数据流分析，效果系统，分级单体，正确性} }
代词Scott语义
摘要
引用为
@会议记录{galal:LIPIcs.FSCD.2020.16， author={Galal，Zeinab}， title={{A Profunctorial Scott Semantics}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={16:1--16:18}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积＝{167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.16 }， URN={URN:nbn:de:0030-drops-123387}， doi={10.4230/LIPIcs.FSCD.2020.16}， annote={关键词：线性逻辑，Scott语义，Profunctors} }
光学串图
摘要
引用为
@会议记录{博伊索：LIPIcs.FSCD.2020.17， author={布瓦索，纪尧姆}， title={{光学字符串图}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={17:1--17:18}， series={Leibniz国际信息学论文集（LIPIcs）}， ISBN＝{978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.17 }， URN={URN:nbn:de:0030-drops-123399}， doi={10.4230/LIPIcs.FSCD.2020.17}， annote={关键词：光学，弦图，透镜，范畴理论，Yoneda引理} }
关于连写复合文体的思考
摘要
引用为
@会议记录{biernacki_et_al:LIPIcs.FSCD.2020.18， author={Biernacki、Dariusz和Pyzik、Mateusz和Sieczkowski、Filip}， title={{对连续组合样式的反思}}， booktitle＝{第五届计算和推导形式结构国际会议（FSCD 2020）}， 页数={18:1--18:17}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.18 }， URN={URN:nbn:de:0030-drops-123402}， doi={10.4230/LIPIcs.FSCD.2020.18}， annote={关键词：分隔控件，继续传递样式，反射，按值调用lambda演算，计算lambda微积分} }
概率高阶不动点逻辑
摘要
引用为
@会议记录{mitani_et_al:LIPIcs.FSCD.2020.19， 作者={Mitani，Yo和Kobayashi，Naoki和Tsukada，Takeshi}， title={{概率高阶定点逻辑}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， pages={19:1-19:22}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.19 }， URN={URN:nbn:de:0030-drops-123413}， doi={10.4230/LIPIcs.FSCD.2020.19}， annote={关键词：概率逻辑，高阶不动点逻辑，模型检查} }
自适应非线性模式匹配自动机
摘要
引用为
@会议记录{erkens_et_al:LIPIcs.FSCD.2020.20， 作者＝{埃尔肯斯，里克和拉沃，莫里斯}， title={{自适应非线性模式匹配自动机}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={20:1--20:21}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.20 }， URN={URN:nbn:de:0030-drops-123427}， doi={10.4230/LIPIcs.FSCD.2020.20}， annote={关键词：模式匹配，术语索引，树自动机} }
关于高阶模型检验的平均硬度
摘要
引用为
@会议记录{nakamura_et_al:LIPIcs.FSCD.2020.21， 作者={Nakamura、Yoshiki和Asada、Kazuyuki和Kobayashi、Naoki和Sin'ya、Ryoma和Tsukada、Takeshi}， title={{关于高阶模型检验的平均情况硬度}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={21:1--21:23}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.21 }， URN={URN:nbn:de:0030-drops-123439}， doi={10.4230/LIPIcs.FSCD.2020.21}， annote={关键词：高阶模型检查，平均案例复杂性，交叉类型系统} }
从顺序-（n+1）单词语法到顺序-树语法的大小保留翻译
摘要
引用为
@会议记录{asada_et_al:LIPIcs.FSCD.2020.22， 作者={Asada、Kazuyuki和Kobayashi、Naoki}， title={{Size-Preservating Translations from Order-（n+1）Word Grammars to Order-n Tree Grammars}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={22:1--22:22}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.22 }， URN={URN:nbn:de:0030-drops-123440}， doi={10.4230/LIPIcs.FSCD.2020.22}， annote={关键词：高阶语法，单词语言，树语言，复杂性} }
互感应族的语法
摘要
引用为
@会议记录{kaposi_et_al:LIPIcs.FSCD.2020.23， author={卡波西、安布罗斯和冯·劳默、雅各布}， title={{相互感应族的语法}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页码={23:1--23:21}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份＝{2020}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.23 }， URN={URN:nbn:de:0030-drops-123451}， doi={10.4230/LIPIcs.FSCD.2020.23}， annote={关键词：类型理论，归纳类型，互归纳类型，W型，Agda} }
走向建构混合语义
摘要
引用为
@会议记录{diezel_et_al:LIPIcs.FSCD.2020.24， author={Diezel，Tim Lukas和Goncharov，Sergey}， title＝{{朝向构造性混合语义}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={24:1--24:19}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.24 }， URN={URN:nbn:de:0030-drops-123466}， doi={10.4230/LIPIcs.FSCD.2020.24}， annote={关键词：混合语义，埃尔格特迭代，同调类型理论，阿格达} }
哥德尔系统T的Gentzen-Style一元翻译
摘要
引用为
@会议记录{xu:LIPIcs.FSCD.2020.25， 作者={Xu，Chuangjie}， title=｛G的根切风格的Monatic翻译 {o} 德尔 的系统T}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={25:1--25:17}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.25 }， URN＝{URN:nbn:de:00030-drops-123472}， doi={10.4230/LIPIcs.FSCD.2020.25}， annote={关键词：单数翻译，G\“ {o} 德尔 系统T，逻辑关系，负平移，可控制性，连续性，条递归，Agda} }
酉反统一：类型和算法
摘要
引用为
@会议记录{cerna_et_al:LIPIcs.FSCD.2020.26， author={Cerna，David M.和Kutsia，Temur}， title={{单位反统一：类型和算法}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={26:1--26:20}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.26 }， URN={URN:nbn:de:0030-drops-123482}， doi＝{10.4230/LPIcs.FSCD.2020.26}， annote={关键词：反统一，树语法，单位理论，崩溃理论} }
符号执行游戏语义
摘要
引用为
@会议记录{lin_et_al:LIPIcs.FSCD.2020.27， author={Lin，Yu-Yang和Tzevelekos，Nikos}， title={{符号执行游戏语义}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={27:1--27:24}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， 编辑器＝{Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.27 }， URN={URN:nbn:de:0030-drops-123493}， doi={10.4230/LIPIcs.FSCD.2020.27}， annote={关键词：游戏语义，符号执行，高阶开放程序} }
强规范化高阶关系查询
摘要
引用为
@会议记录{ricciotti_et_al:LIPIcs.FSCD.2020.28， author={Ricciotti，Wilmer和Cheney，James}， title={{强规范化高阶关系查询}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页码＝{28:1-28:22}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.28 }， URN={URN:nbn:de:0030-drops-123506}， doi={10.4230/LIPIcs.FSCD.2020.28}， annote={关键词：强规范化，提升，嵌套关系演算，语言集成查询} }
半自动序贯演算
摘要
引用为
@会议记录{deyoung_et_al:LIPIcs.FSCD.2020.29， author={DeYoung、Henry和Pfenning、Frank和Pruiksma、Klaas}， title={{半轴序微积分}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={29:1--29:22}， series={Leibniz国际信息学论文集（LIPIcs）}， ISBN＝{978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.29 }， URN={URN:nbn:de:0030-drops-123515}， doi={10.4230/LIPIcs.FSCD.2020.29}， annote={关键词：序列演算，Curry-Howard同构，共享内存并发} }
多重相似关系的约束求解
摘要
引用为
@会议记录{dundua_et_al:LIPIcs.FSCD.2020.30， 作者＝{Dundua，Besik和Kutsia，Temur和Marin，Mircea和Pau，Cleopatra}， title={{多重相似关系上的约束求解}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={30:1--30:19}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.30 }， URN={URN:nbn:de:0030-drops-123522}， doi={10.4230/LIPIcs.FSCD.2020.30}， annote={关键词：模糊关系、相似性、约束求解} }
使用重写对Agda程序进行编码
摘要
引用为
@会议记录{genestier:LIPIcs.FSCD.2020.31， author={Genestier，纪尧姆}， title＝{使用重写对Agda程序进行编码}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={31:1--31:17}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.31 }， URN={URN:nbn:de:0030-drops-123530}， doi={10.4230/LIPIcs.FSCD.2020.31}， annote={关键词：逻辑框架，重写，宇宙多态性，Eta转换} }
差分λ-微积分：差分范畴的语言
摘要
引用为
@会议记录{alvarezpicallo_et_al:LIPIcs.FSCD.2020.32， 作者={Alvarez-Picallo，Mario和Ong，C.-H.Luke}， title={{The Difference\lambda-Calculus:差异类别语言}}， booktitle＝{第五届计算和推导形式结构国际会议（FSCD 2020）}， 页数={32:1--32:21}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.32 }， URN={URN:nbn:de:0030-drops-123549}， doi={10.4230/LIPIcs.FSCD.2020.32}， annote={关键词：笛卡尔差分范畴，笛卡尔微分范畴，改变动作，微分lambda-calculus，差分lambda-calculus} }
Rast：具有算术优化的资源软件会话类型（系统描述）
摘要
引用为
@会议记录{das_et_al:LIPIcs.FSCD.2020.33， author={Das，Ankush and Pfenning，Frank}， title={{Rast:具有算术优化的资源-软件会话类型}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={33:1--33:17}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.33 }， URN={URN:nbn:de:0030-drops-123558}， doi={10.4230/LIPIcs.FSCD.2020.33}， annote={关键词：会话类型，资源分析，优化类型} }
层次结构生成器：使用Elpi轻松实现代数层次结构（系统描述）
摘要
引用为
@会议记录{cohen_et_al:LIPIcs.FSCD.2020.34， 作者={Cohen、Cyril和Sakaguchi、Kazuhiko和Tassi、Enrico}， title={{Hierarchy Builder:Elpi}}使代数层次结构变得简单， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={34:1--34:21}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积＝{167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.34 }， URN={URN:nbn:de:0030-drops-123562}， doi={10.4230/LIPIcs.FSCD.2020.34}， annote={关键词：代数层次结构，压缩类，Coq，Elpi，元编程，\lambdaProlog} }
新的Dedukti重写引擎（系统描述）
摘要
引用为
@会议记录{hondet_et_al:LIPIcs.FSCD.2020.35， author={Hondet，Gabriel和Blanqui，Fr {e} d日 \' {e} 里克 }， title={{Dedukti}}的新重写引擎， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页码＝{35:1-35:16}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.35 }， URN={URN:nbn:de:0030-drops-123577}， doi={10.4230/LIPIcs.FSCD.2020.35}， annote={关键词：重写，高阶模式匹配，决策树} }
WANDA-高阶终止工具（系统描述）
摘要
引用为
@诉讼程序{kop:LIPIcs.FSCD.2020.36， 作者={Kop，Cynthia}， title={{WANDA-高阶终止工具}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={36:1--36:19}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.36 }， URN＝{URN:nbn:de:00030-drops-123587}， doi={10.4230/LIPIcs.FSCD.2020.36}， annote={关键词：高阶项重写、终止、自动分析、依赖对框架、高阶递归路径排序} }
具有并集和交集类型的逻辑框架的类型检查器（系统描述）
摘要
引用为
@会议记录{stolze_et_al:LIPIcs.FSCD.2020.37， author={Stolze，Claude和Liquori，Luigi}， title={{具有并集和交集类型的逻辑框架的类型检查器}}， booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}， 页数={37:1--37:24}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-155-9}， ISSN={1868-8969}， 年份={2020年}， 体积={167}， editor={Ariola，Zena M.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.37 }， URN={URN:nbn:de:0030-drops-123597}， doi={10.4230/LIPIcs.FSCD.2020.37}， annote＝｛关键字：交集类型、并集类型、依赖类型、子类型、类型检查器、精简器、\Delta Framework｝ }