About Lane

interested in next generation type theories, braided monoidal categories, and graphical computation frameworks, based in san francisco

Lists

Timeline

lne has no activity yet