leastfixedpoint
~tonyg
Projects
Blog
Contact
Archived tweet #5945 from the
@leastfixedpoint Twitter Archive
@crstry I like it a lot. TL;DR: Lambda calculus is the ur-object-capability language.
