_ [English] [NIHONGO japonaise]
[page à TÔHÔ]

La page de Takeuti Izumi

Publications

• Sachio Hirokawa, Yuichi Komori & Izumi Takeuti: ``A reduction rule for Peirce's formula'' Studia Logica, 56(3), pp419-426, 1996.
• Izumi Takeuti: ``Une système axiomatique de parametricité'', P. de Groote, J. R. Hindley,Calculs Lambda Typée et Applications 1997, Lecture Notes in Computer Science vol. 1210, pp354-372, 1997, & Fundamenta Informaticae, 33, pp397-432, 1998.
• Izumi Takeuti: ``Une théorie de type pour structure cyclique'', M. Sato, Y. Toyama, 3me Symposium International Fuji sur Programmation Fonctionnelle et Logique, pp207-226, World Scientific, 1998.
• Takeuti Izumi: ``Talle pour l'assignaton de type principal'', Proceedings of CATS 2000, Computing: The Australasian Theory Symposium, ed D. A. Wolfram, Electric Notes in Theoricical Computer Science, 31, 2000.
• Izumi Takeuti: ``Effective fixed point theorem over a non-computably separable metric space'' , Computability and Compexity in Analysis 2000, Lecture Notes in Computer Science vol. 2064, pp310--322, edited by Blanck et al., Springer.
• Kamo Hiroyasu, Kawamura Kiko & Takeuti Izumi: ``Computational Complexity of Fractal Sets'', Real Analysis Exchange, 26, pp1-21, 2001.
• Masahiko SATO, Yukiyosi KAMEYAMA & TAKEUTI Izumi: ``CAL: Une systéme aidée par l'ordinateur pour computation et logique'', EUROCAST, Lecture Notes in Computer Science vol. 2178, Springer, 2001.