Kenron to shōmeiron no aratana yūgō o mezashite
Subtitle: tanki kyōdō kenkyū
Series: Sūri Kaiseki Kenkyūjo kōkyūroku -- 1217
Publisher: Kyōto Daigaku Sūri Kaiseki Kenkyūjo
Published: 2001
Place of publication: [Kyoto]
Language: jpn
Number of pages: 164
Other titles: Towards new interaction between category theory and proof theory