631 followers 川向薫 @bydriv くわしくはこれを読んでください: https://t.co/QA8vIshR20 14 May 2018 Reply Repost Favourite
1,487 followers 計算 @hihihirokane I'm reading λμ-Calculus: An algorithmic interpretation of classical natural deduction http://t.co/35oUNzJncd #springerlink 11 May 2013 Reply Repost Favourite