[NIHONGO Japanese] [Francais]
[Mirror at Toho Univ.]

The Web Page of Takeuti Izumi

Published Papers

• Sachio Hirokawa, Yuichi Komori & Izumi Takeuti: ``A reduction rule for Peirce's formula'' Studia Logica, 56(3), pp419-426, 1996.
• Izumi Takeuti: ``An axiomatic system of parametricity'', P. de Groote, J. R. Hindley Eds, Typed Lambda Calculi and Applications 1997, Lecture Notes in Computer Science vol. 1210, pp354-372, 1997, & Fundamenta Informaticae, 33, pp397-432, 1998.
• Izumi Takeuti: ``A type theory for cyclic structure'', M. Sato, Y. Toyama Eds, 3rd Fuji International Symposium on Functional and Logic Programming, pp207-226, World Scientific, 1998.
• Takeuti Izumi: ``Pruning for Principal Type Assignment'', Proceedings of CATS 2000, Computing: The Australasian Theory Symposium, edited by 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: A Computer Assisted Learning system for Computation and Logic'', EUROCAST, Lecture Notes in Computer Science vol. 2178, Springer, 2001.