首页    期刊浏览 2024年11月25日 星期一
登录注册

文章基本信息

  • 标题:Refutation of Sallé's Longstanding Conjecture
  • 本地全文:下载
  • 作者:Benedetto Intrigila ; Giulio Manzonetto ; Andrew Polonsky
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2017
  • 卷号:84
  • 页码:20:1-20:18
  • DOI:10.4230/LIPIcs.FSCD.2017.20
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:The lambda-calculus possesses a strong notion of extensionality, called "the omega-rule", which has been the subject of many investigations. It is a longstanding open problem whether the equivalence obtained by closing the theory of Böhm trees under the omega-rule is strictly included in Morris's original observational theory, as conjectured by Sallé in the seventies. In a recent work, Breuvart et al. have shown that Morris's theory satisfies the omega-rule. In this paper we demonstrate that the two aforementioned theories actually coincide, thus disproving Sallé's conjecture.
  • 关键词:lambda calculus; observational equivalence; B{\"o
国家哲学社会科学文献中心版权所有