Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 12.

前
1
2
次

検索結果:

書誌情報	ファイル
Strong Normalization of Second Order Symmetric Lambda-mu Calculus (Towards new interaction between category theory and proof theory) Yamagata, Yoriyuki (2001-06) 数理解析研究所講究録, 1217: 158-164
Notes on the game semantics of Godel's T (Towards new interaction between category theory and proof theory) Shirahata, Masaru (2001-06) 数理解析研究所講究録, 1217: 121-142
The Theory of Parametricity in Lambda Cube (Towards new interaction between category theory and proof theory) Takeuti, Izumi (2001-06) 数理解析研究所講究録, 1217: 143-157
2階算術における実数と複素数 (圏論と証明論の新たな融合を目指して) 坂本, 伸幸; 田中, 一之 (2001-06) 数理解析研究所講究録, 1217: 98-120
Modular Counting Functions in Second Order Bounded Arithmetic (Towards new interaction between category theory and proof theory) Misumi, Shuhei (2001-06) 数理解析研究所講究録, 1217: 75-85
RECURSION SCHEMATA FOR SLOW GROWING DEPTH CIRCUIT CLASSES (Towards new interaction between category theory and proof theory) Kuroda, Satoru (2001-06) 数理解析研究所講究録, 1217: 61-74
A Proof of the Standardization Theorem in $\lambda$-Calculus (Towards new interaction between category theory and proof theory) Kashima, Ryo (2001-06) 数理解析研究所講究録, 1217: 37-44
2階算術におけるヒルベルトの零点定理 (圏論と証明論の新たな融合を目指して) 坂本, 伸幸 (2001-06) 数理解析研究所講究録, 1217: 86-97
The Theory of Twiners and Linear Parametricity (Note) (Towards new interaction between category theory and proof theory) Hasegawa, Ryu (2001-06) 数理解析研究所講究録, 1217: 23-36
Limiting Partial Combinatory Algebras (Towards new interaction between category theory and proof theory) Akama, Yohji (2001-06) 数理解析研究所講究録, 1217: 1-22