Generic Programs and Proofs

Bibliografske podrobnosti
Glavni avtor: Hinze, R
Format: Thesis
Izdano: 2000