Generic Programs and Proofs

Xehetasun bibliografikoak
Egile nagusia: Hinze, R
Formatua: Thesis
Argitaratua: 2000