Generic Programs and Proofs

Bibliografski detalji
Glavni autor: Hinze, R
Format: Disertacija
Izdano: 2000