Proof Pearl: Defining Functions Over Finite Sets. volume 3603 of LNCS (2005)

by Tobias Nipkow , Lawrence C. Paulson
Venue:Information and Computation
Citations:4 - 2 self