Functional Bits: Lambda Calculus Based Algorithmic Information Theory [pdf](tromp.github.io)
tromp.github.io
Functional Bits: Lambda Calculus Based Algorithmic Information Theory [pdf]
http://tromp.github.io/cl/LC.pdf
0 comments
—
http://tromp.github.io/cl/LC.pdf
—