2011/05/05

Wordle for OAOAOO

Closed-beta version of the OAOAOO paper (formally Realisability for modularising inductive families) released!

Labels:

<< 回到主頁