3,236 followers Ryoma Sin'ya @sinya8282 π-Calculus, Structured Coalgebras, and Minimal HD-Automata https://t.co/D2NWY4P93C 20 Aug 2017 Reply Repost Favourite