Generic Programs and Proofs

Podrobná bibliografie
Hlavní autor: Hinze, R
Médium: Diplomová práce
Vydáno: 2000