Autor(es)
Walter Carnielli
Gabriele Pulcini
Créditos
Data
Palestra apresentada durante o evento Trends in Logic XVI - CLE Unicamp -- 12/09/2016-15/09/2016
Palestra apresentada durante o evento Trends in Logic XVI - CLE Unicamp -- 12/09/2016-15/09/2016