終了 2020/06/19（金） 21:00〜

関数型言語の操作的意味論 in Isabelle

hatsugai

オンライン