Equational Reasoning via Partial Reflection

by H. Geuvers , F. Wiedijk , J. Zwanenburg
Citations:11 - 7 self