What can Type Theory teach us about Machine Learning?
This post is some combination of belaboring the obvious and speculating wildly about the future. The basic issue to be addressed is how to think about machine learning in terms given to us from Programming Language theory. Types and Reductions John’s research programme (I feel this should be in British spelling to reflect the grandiousness …
Continue reading “What can Type Theory teach us about Machine Learning?”