SK(I) calculus reduction in asm2bf - Part 1 2021-10-31 :: Palaiologos #asm2bf #SKI #combinator-calculus #APL 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 →
