Generic Programs and Proofs (2000)

by Ralf Hinze
Citations:34 - 6 self