Generic Programs and Proofs

Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Hinze, R
Ձևաչափ: Թեզիս
Հրապարակվել է: 2000