Mike Stay
Publication Activity (10 Years)
Years Active: 2010-2016
Publications (10 Years): 1
Publications (10 Years): 1
Publications
- Mike Stay, Lucius Gregory MeredithLogic as a distributive law. CoRR (2016)
- Mike Stay, Lucius Gregory Meredith
- Mike Stay, Jamie Vicary
- Lucius Gregory Meredith, Mike Stay, Sophia DrossopoulouPolicy as Types. CoRR (2013)
- Mike Stay, Jamie Vicary
- John C. Baez, Mike Stay
- John C. Baez, Mike StayAlgorithmic Thermodynamics CoRR (2010)