Functional Bits: Lambda Calculus Based Algorithmic Information Theory [pdf]tromp.github.io4 points·teabee89··0 commentsOpen articleSaveView on HN