@c0b1w2 https://t.co/BTVoBsRHGK https://t.co/BNOJ3VDVJu https://t.co/2QQE4VdlBR https://t.co/41OSqLwoIM I think this can play very well with native type theory btw
3,568 followers
3,568 followers
@ququ7 @dpl0a The original paper can be found here: https://t.co/BTVoBsRHGK This is an explanation of what's going on in the paper, with details kept at a bare minimum. I do this for all the people that prefer learning with videos more than with books.
9,501 followers
Open access to my co-authored conference paper ends soon. Until then, you can read it without a paywall: https://t.co/zmzTfTexaw.
268 followers
RT @Blair_Archibald: Check out our latest paper "Conditional Bigraphs" (published today) where, together with @michele_seve and Muffy Calde…