証明プログラミング超入門

9 years ago 11080 Views

証明プログラミング入門2

9 years ago 46775 Views

Agda による型推論器の定式化

9 years ago 2733 Views

Hott_1

10 years ago 1260 Views

Ta plスライド第4章

10 years ago 925 Views

PPL2016-9-3

8 years ago 829 Views