Jiří Beneš

@jiribenes.com

17 Followers · 47 Following

Interested in effect and coeffect systems, PhD student at University of Tübingen. Website: https://jiribenes.com Mastodon: https://types.pl/@jiribenes

Nothing here yet.