1. Akiyoshi, R.: An interpretation of Brouwer’s argument for bar theorem via infinitary proof theory. In: Abstract Volume of XXIII World Congress of Philosophy, p. 18 (2013)
2. Akiyoshi, R.: An ordinal-free proof of the complete cut-elimination theorem for $$\Pi ^{1}_{1}$$Π11-$$CA$$CA + $$BI$$BI with the $$\omega $$ω-rule. In: Gabbay, D., Prosorov, O., (eds.) The Mints’ Memorial Issue of IfCoLog Journal of Logics and Their Applications, pp. 867–884 (2017)
3. Akiyoshi, R., Terui, K.: Strong normalization for the parameter-free polymorphic lambda calculus based on the omega-rule. In: First International Conference on Formal Structures for Computation and Deduction (FSCD), Leibniz International Proceedings in Informatics, vol. 52 (2016)
4. Akiyoshi, R., Mints, G.: An extension of the omega-rule. Arch. Math. Log. 55(3), 593–603 (2016)
5. Lecture Notes in Computer Science;J Berger,2006