Generic Programs and Proofs

Библиографические подробности
Главный автор: Hinze, R
Формат: Диссертация
Опубликовано: 2000