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: