conf.researchr.org / Yosuke Fukuda
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