- Yuta Takahashi. Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe. Preprint. CoRR abs/2402.15074 (2024) [Link]
- Yuta Takahashi. Size-Based Termination for Non-Positive Types in Simply Typed Lambda-Calculus. In Henning Basold, Jesper Cockx and Silvia Ghilezan (eds.), 27th International Conference on Types for Proofs and Programs (TYPES 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 239, pp. 12:1-12:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022) [Link]
- Alberto Naibo and Yuta Takahashi. Harmony in the Light of Computational Ludics. In Ugo Dal Lago and Valeria de Paiva (eds.), Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications (Linearity & TLLA 2020), Online, 29-30 June 2020, Electronic Proceedings in Theoretical Computer Science 353, pp. 132–156 (2021) [Link]
- Mitsuhiro Okada and Yuta Takahashi. A Simplified Application of Howard's Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems. In Santiago Escobar and Narciso Martí-Oliet (eds.), Rewriting Logic and Its Applications. WRLA 2020. Lecture Notes in Computer Science, vol 12328. Springer, Cham. (2020) [Link]
- Yuta Takahashi and Ryo Takemura. Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms. Journal of Philosophical Logic 48, 553–570 (2019) [Link]
- Mitsuhiro Okada and Yuta Takahashi. On Quasi Ordinal Diagram Systems. In Maribel Fernández and Ian Mackie (eds.), Proceedings Tenth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2018), Oxford, UK, 7th July 2018, Electronic Proceedings in Theoretical Computer Science 288, pp. 38–49 (2019) [Link]
- Yuta Takahashi. On the Intuitionistic Background of Gentzen's 1935 and 1936 Consistency Proofs and Their Philosophical Aspects. Annals of the Japan Association for Philosophy of Science 27, 1-26 (2018) [Link]
- Ryota Akiyoshi and Yuta Takahashi. Contentual and Formal Aspects of Gentzen's Consistency Proofs. In Syraya Chin-Mu Yang, Kok Yong Lee and Hiroakira Ono (eds.), Philosophical Logic: Current Trends in Asia. Logic in Asia: Studia Logica Library. Springer, Singapore. (2017) [Link]
- Yuta Takahashi. On Gentzen's Three Consistency Proofs for Arithmetic. Ph.D. thesis, Keio university. (2017) [Link]