"Resource-Aware Session Types for Digital Contracts", por Ankush Das (Carnegie Mellon University), 20 novembro 2020, pelas 15h00. Sessão zoom: https://t.co/VQnAPwwKpz Mais informações em https://t.co/xfJJeJ3gG1