提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/types/Statman16澳大利亚统计局，RichardTI-操作语义BCD的完整性。BT-2016年5月23日至26日在塞尔维亚诺维萨德举行的第22届2016年类型证明和程序国际会议SP-15:1EP-15:52016年上半年//DO-10.4230脂质。类型2016.15UR-（欧元）https://doi.org/10.4230/LIPIcs.TYPES.2016.15急诊室-