Translation from Classical to Intuitionistic Logic

从古典逻辑到直觉逻辑的翻译

• 批准号: 24650002
• 负责人: SAKURAI Takafumi
• 金额: $ 1.58万
• 依托单位: Chiba University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Challenging Exploratory Research
• 财政年份: 2012
• 资助国家: 日本
• 起止时间: 2012-04-01 至 2016-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-24650002/
• 关键词: 古典論理; 直観主義論理; 簡約保存; CPS変換; 強正規化性; C(G)PS変換; intersection-union; intersection-product; 表示的意味

项目成果

A Translation of Intersection and Union Types for the λμ-Calculus

λμ-微积分的交集和并集类型的转换

• DOI: 10.1007/978-3-319-12736-1_7
• 发表时间: 2014
• 期刊: Lecture Note in Computer Science (Proceedings of 12th Asian Symposium on Programming Languages and Systems)
• 作者: K. Kikuchi;T. Sakurai
• 通讯作者: T. Sakurai

Viewing λ-terms through Maps

通过地图查看 λ 项

• DOI: 10.1016/j.indag.2013.08.003
• 发表时间: 2013
• 期刊: Indagationes Mathematicae
• 作者: M. Sato;R. Pollack;H. Schwichtenberg;T. Sakurai
• 通讯作者: T. Sakurai