Mike Stay

Identifiers

• name variant Mike Stay 0.60 · backfill

Papers (5)

1. Logic as a distributive law cs.LO · 2016 · author #1
2. Higher category models of the pi-calculus cs.LO · 2015 · author #1
3. Policy as Types cs.CR · 2013 · author #2
4. Bicategorical Semantics for Nondeterministic Computation cs.LO · 2013 · author #1
5. Algorithmic Thermodynamics math-ph · 2010 · author #2

Mentions

• 1504.04311 #1 · backfill · confidence 0.70 Mike Stay
• 1307.7766 #2 · backfill · confidence 0.70 Mike Stay
• 1301.3393 #1 · backfill · confidence 0.70 Mike Stay
• 1010.2067 #2 · backfill · confidence 0.70 Mike Stay

Frequent Coauthors

• Lucius Gregory Meredith 2 shared papers
• Jamie Vicary 1 shared papers
• John C. Baez 1 shared papers
• Lucius G Meredith 1 shared papers
• Sophia Drossopoulou 1 shared papers