Niels Voorneveld

| About | Research | Other |


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: