論文 - 中澤　巧爾

Type checking and inference are equivalent in lambda calculi with existential types 査読有り

Y. Kato, K. Nakazawa

Lecture Notes in Computer Science (WFLP 2009)   5979 巻   頁： 96-110   2010年

　詳細を見る

記述言語：英語  

DOI： 10.1007/978-3-642-11999-6_7

Type checking and inference for polymorphic and existential types 査読有り

K. Nakazawa, M. Tatsuta

Conferences in Research and Practice in Information Technology Series   94 巻   頁： .   2009年

　詳細を見る

担当区分：筆頭著者   記述言語：英語  

Undecidability of type-checking in domain-free typed lambda-calculi with existence 査読有り

K. Nakazawa, M. Tatsuta, Y. Kameyama, H. Nakano

Lecture Notes in Computer Science (CSL 2008)   5213 巻   頁： 478-492   2008年9月

　詳細を見る

担当区分：筆頭著者   記述言語：英語  

DOI： 10.1007/978-3-540-87531-434

An isomorphism between cut-elimination procedure and proof reduction 査読有り

K. Nakazawa

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   4583 LNCS 巻   頁： 336-350   2007年

　詳細を見る

記述言語：英語  

Strong normalization proofs by CPS-translations 査読有り

S. Ikeda, K. Nakazawa

Information Processing Letters   99 巻 ( 4 ) 頁： 163-170   2006年8月

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.ipl.2006.03.009

選言を含む自然演繹古典論理の強正規化性 査読有り

中澤 巧爾, 龍田 真

第8回プログラミングおよびプログラミング言語ワークショップ論文集 (PPL2006),     頁： .   2006年

　詳細を見る

記述言語：日本語  

コントロールオペレータをもつ計算体系の強正規化可能性のCPS変換を用いた証明 査読有り

池田 聡, 中澤 巧爾

第7回プログラミングおよびプログラミング言語ワークショップ論文集 (PPL2005), 171--186     頁： .   2005年

　詳細を見る

記述言語：日本語  

値呼びラムダ・ミュー計算の合流性と強正規化性

中澤巧爾

日本ソフトウェア科学会第17回大会講演論文集     頁： CD-ROM   2000年9月

　詳細を見る

担当区分：筆頭著者   記述言語：日本語  

DOI： CD-ROM