January 18th, 2016, 02:20 pm (no subject) Had some somewhat rambly thoughts on representing market-making in substructural logics, wrote them up here. Tags math