uma's book of adventures@typer_uma·Jun 17, 2021Made a little presentation on leftover typing for a resource-aware π calculus. https://youtube.com/watch?v=KYbjsenh2iM…3532
Brendan Zabarauskas@brendanzabReplying to @typer_umareally cool presentation!!12:15 PM · Jun 17, 2021·Twitter Web App1 Like
