Functional Bits: Lambda Calculus Based Algorithmic Information Theory [pdf]http://tromp.github.io/cl/LC.pdf by teabee89 • 4 years ago 4 0 4 years agoTRtromp.github.io