Generic Programs and Proofs

书目详细资料
主要作者: Hinze, R
格式: Thesis
出版: 2000