Resultados da pesquisa a pedido "observational-type-theory"
Correspondência de padrões na teoria observacional dos tipos
No final da seção "5. OTT completo" doRumo à teoria do tipo observacional [http://strictlypositive.org/ott.pdf]os autores mostram como definir tipos de dados indexados coercíveis em construtores no OTT. A ideia é basicamente transformar tipos de ...