Combinatory Logic, Church Encoding, Beta Reduction, Type Theory
Cyclic Implicit Complexity
arxiv.org·17h
Embedding MicroHs
thma.github.io·2d
A quantum equivalent to Bayes' rule
lesswrong.com·1d
Loading...Loading more...
Combinatory Logic, Church Encoding, Beta Reduction, Type Theory