Generic Programs and Proofs

Bibliografiske detaljer
Hovedforfatter: Hinze, R
Format: Thesis
Udgivet: 2000