DIY Type Theory [pdf](cs.nott.ac.uk)1 points·by bmer·4 anni fa·0 commentscs.nott.ac.ukDIY Type Theory [pdf]http://www.cs.nott.ac.uk/~psarb2/MPC/DIYTypeTheory.pdf0 commentsPost comment—