Type theory & applications. Also on Mastodon: types.pl/@AndrasKovacs

ID: 3370296087

linkhttps://andraskovacs.github.io/ calendar_today11-07-2015 06:05:20