Programação com Tipos Dependentes em Agda

Programação com Tipos Dependentes em Agda

Palestra proferida na UDESC em 08/04/2014

3c5d36ca80eccb125ee34991165d481e?s=128

Rodrigo Geraldo Ribeiro

April 08, 2014
Tweet