2021-10-31 - SK(I) calculus reduction in asm2bf - Part 1 - #asm2bf  #SKI  #combinator-calculus  #APL 

2021-06-17 - Combinator calculus - a lab notebook - #c  #perl  #combinator-calculus  #mathematics  #cs