Church Numerals, Twice!

by Ralf Hinze
Citations:2 - 0 self