FSCD 2020: INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION
Kazuhiko Sakaguchi
Affiliation: University of Tsukuba
Web page: http://logic.cs.tsukuba.ac.jp/~sakaguchi/
Pages in this Program
Program
Program for Thursday, July 2nd