?

Log in

No account? Create an account
Continuing to be super-nerdsniped by that correspondence between… - Notes from a Medium-Sized Island [entries|archive|friends|userinfo]
Jason

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Feb. 10th, 2016|07:38 pm]
Jason
[Tags|]

Continuing to be super-nerdsniped by that correspondence between lambda-calculus and graph theory that noam has been working out lately. Really beautiful stuff, and it smells like the results he's got already are the (already impressively large) tip of a bigger iceberg.
LinkReply