DIY Type Theory [pdf](cs.nott.ac.uk)1 ポイント·投稿者 bmer·4 年前·0 コメントcs.nott.ac.ukDIY Type Theory [pdf]http://www.cs.nott.ac.uk/~psarb2/MPC/DIYTypeTheory.pdf0 コメントコメントを投稿—