3,378 followers Ryoma Sin'ya @sinya8282 Finite Presentations of Infinite Structures: Automata and Interpretations https://t.co/dw7zQWUF8D 29 May 2017 Reply Repost Favourite