文章基本信息
- 标题：The Completeness of BCD for an Operational Semantics
- 本地全文：下载
- 作者：Richard Statman
- 期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
- 电子版ISSN：1868-8969
- 出版年度：2018
- 卷号：97
- 页码：1-5
- DOI：10.4230/LIPIcs.TYPES.2016.15
- 出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
- 摘要：We give a completeness theorem for the BCD theory of intersection types in an operational semantics based on logical relations.
- 关键词：intersection types; operational semantics; Beth model; logical relations; forcing
