L
lne@social.praxis.nyc
@lne@social.praxis.nyc
interested in next generation type theories, braided monoidal categories, and graphical computation frameworks, based in san francisco
Reputation
0
Profile views
1
Joined
Last Online
interests
type theory, category theory, graphical models of computation, compiler design and implementation