Generic Programs and Proofs

Bibliographic Details
Main Author: Hinze, R
Format: Thesis
Published: 2000