Generic Programs and Proofs (2000)

by Ralf Hinze
Citations:32 - 8 self