menu

SK(I) calculus reduction in asm2bf - Part 1

2021-10-31 :: Palaiologos
#asm2bf  #SKI  #combinator-calculus  #APL  SK(I) calculus reduction in asm2bf - Part 1
Writing and optimising a SK calculus reductor in asm2bf.
Read more →

Combinator calculus - a lab notebook

2021-06-17 :: Palaiologos
#c  #perl  #combinator-calculus  #mathematics  #cs 
A writeup on my passion for combinator calculus.
Read more →