Generic Programs and Proofs

書誌詳細
第一著者: Hinze, R
フォーマット: 学位論文
出版事項: 2000