Generic Programs and Proofs

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Hinze, R
Μορφή: Thesis
Έκδοση: 2000