Login / Signup

Church numerals, twice!

Ralf Hinze
Published in: J. Funct. Program. (2005)
Keyphrases