TIL about https://en.wikipedia.org/wiki/Corrado_B%C3%B6hm

there's so much unknown history in CS around the 50s ...

#lambdacalc #plt #normalform

nameless, painless

https://dl.acm.org/doi/10.1145/2034574.2034817

#plt #lambdacalc

Apparently there's a link between Cantor and Y combinator

https://math.stackexchange.com/questions/51246/can-someone-explain-the-y-combinator

fascinating

#lambdacalc #sets

oldies but goodies:

simon peyton jones: the implementation of functional programming languages

https://www.microsoft.com/en-us/research/uploads/prod/1987/01/slpj-book-1987.pdf

#ml #sml #lambdacalc #dag #haskell #miranda