学位論文

• Formalized Foundations for Higher-Order Probability Theory,  Thesis,  Doctor (Science),  Tokyo Institute of Technology,  2025/03/26, 
• Formalized Foundations for Higher-Order Probability Theory,  Summary,  Doctor (Science),  Tokyo Institute of Technology,  2025/03/26, 

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]