• 不限
  • 期刊论文
  • 硕博论文
  • 会议论文
  • 报 纸
  • 英文论文
搜索筛选:
搜索耗时4.4370秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
类      型:
全部 期刊 学位 会议 报纸 英文
发布年度:
全部 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 更早
排序方式:
相关性 最新发表 最早发表
A Syntactic Proof of the Conservativity of λω over λ2
[期刊论文] 作者：SONG Fangmin,QIAN Yuechen, 来源：计算机科学技术学报（英文版） 年份：2004
In this paper, the relationship between thesecond order typed λ-calculus λ2 and its higher orderversion λω is discussed. A purely syntactic proof of thecons...
相关搜索：