Generic Programs and Proofs

Detalles Bibliográficos
Autor Principal: Hinze, R
Formato: Thesis
Publicado: 2000