Generic Programs and Proofs

Detalhes bibliográficos
Autor principal: Hinze, R
Formato: Thesis
Publicado em: 2000