Collection home page

Towards new interaction between category theory and proof theory   12
(http://hdl.handle.net/2433/40791)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 12 of 12
BibliographyContents
表紙・目次
   (2001-06)
  数理解析研究所講究録, 1217
file type icon
Limiting Partial Combinatory Algebras (Towards new interaction between category theory and proof theory)
  Akama, Yohji (2001-06)
  数理解析研究所講究録, 1217: 1-22
file type icon
The Theory of Twiners and Linear Parametricity (Note) (Towards new interaction between category theory and proof theory)
  Hasegawa, Ryu (2001-06)
  数理解析研究所講究録, 1217: 23-36
file type icon
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
file type icon
MODELS OF BOUNDED ARITHMETIC (Towards new interaction between category theory and proof theory)
  Kuroda, Satoru (2001-06)
  数理解析研究所講究録, 1217: 45-60
file type icon
RECURSION SCHEMATA FOR SLOW GROWING DEPTH CIRCUIT CLASSES (Towards new interaction between category theory and proof theory)
  Kuroda, Satoru (2001-06)
  数理解析研究所講究録, 1217: 61-74
file type icon
Modular Counting Functions in Second Order Bounded Arithmetic (Towards new interaction between category theory and proof theory)
  Misumi, Shuhei (2001-06)
  数理解析研究所講究録, 1217: 75-85
file type icon
2階算術におけるヒルベルトの零点定理 (圏論と証明論の新たな融合を目指して)
  坂本, 伸幸 (2001-06)
  数理解析研究所講究録, 1217: 86-97
file type icon
2階算術における実数と複素数 (圏論と証明論の新たな融合を目指して)
  坂本, 伸幸, 田中, 一之 (2001-06)
  数理解析研究所講究録, 1217: 98-120
file type icon
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
file type icon
The Theory of Parametricity in Lambda Cube (Towards new interaction between category theory and proof theory)
  Takeuti, Izumi (2001-06)
  数理解析研究所講究録, 1217: 143-157
file type icon
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
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 12 of 12