Niels Voorneveld
|
About
|
Research
|
Other
|
1+2+3+4 =
Fractals and other pictures:
Strong normalization of 3 factorial, in call-by-name untyped lambda calculus:
Calculating 5 factorial with a binary Turing machine, memory progression:
