Generic Programs and Proofs (2000)

by R Hinze
Venue:Habilitation thesis, Universität