quarta-feira, 29 de janeiro de 2020

A Case Study on Logical Relations using Contextual Types