Generic Programs and Proofs

Dades bibliogràfiques
Autor principal: Hinze, R
Format: Thesis
Publicat: 2000