conf.researchr.org / Yosuke Fukuda
![Yosuke Fukuda](https://conf.researchr.org/getProfileImage/yosukefukuda/440bda39-6053-4b48-b18f-f87852f6e2ba/small.jpg?1711534015000)
Registered user since Wed 10 Aug 2016
Name:Yosuke Fukuda
Country:Japan
Affiliation:Kyoto University
Personal website: https://www.fos.kuis.kyoto-u.ac.jp/~yfukuda
Research interests:Theory of Programing Languages, Constructive Type Theory, Proof Theory
Contributions