Generic Programs and Proofs

Bibliografische gegevens
Hoofdauteur: Hinze, R
Formaat: Thesis
Gepubliceerd in: 2000