3,236 followers Ryoma Sin'ya @sinya8282 Algorithmic Game Semantics https://t.co/rQfEBlHq6C 10 Feb 2021 Reply Repost Favourite
610 followers ほたて @zptmtr “Logical Frameworks—A Brief Introduction - Springer” https://t.co/cy1fgqChhm 01 Jul 2017 Reply Repost Favourite