kyoko-kadowaki documents

Hott_1
Education Hott_1
証明プログラミング入門2
Engineering 証明プログラミング入門2
証明プログラミング超入門
Science 証明プログラミング超入門
Ta plスライド第４章
Education Ta plスライド第４章
Agda による型推論器の定式化
Technology Agda による型推論器の定式化
PPL2016-9-3
Science PPL2016-9-3