Mike Stay

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 1

Top Topics

Hypothetical Reasoning

Classical Logic

Parametric Models

Top Venues

Math. Struct. Comput. Sci.

Publications

Mike Stay, Lucius Gregory Meredith
Logic as a distributive law. CoRR (2016)
Mike Stay, Lucius Gregory Meredith
Higher category models of the pi-calculus. CoRR (2015)
Mike Stay, Jamie Vicary
Bicategorical Semantics for Nondeterministic Computation CoRR (2013)
Lucius Gregory Meredith, Mike Stay, Sophia Drossopoulou
Policy as Types. CoRR (2013)
Mike Stay, Jamie Vicary
Bicategorical Semantics for Nondeterministic Computation. MFPS (2013)
John C. Baez, Mike Stay
Algorithmic thermodynamics. Math. Struct. Comput. Sci. 22 (5) (2012)
John C. Baez, Mike Stay
Algorithmic Thermodynamics CoRR (2010)