Michael Stay

Identifiers

• name variant Michael Stay 0.60 · backfill

Papers (7)

1. Casanova cs.CR · 2018 · author #3
2. Representing operational semantics with enriched Lawvere theories cs.LO · 2017 · author #1
3. Name-free combinators for concurrency cs.LO · 2017 · author #2
4. Compact Closed Bicategories math.CT · 2013 · author #1
5. Generalized Number Derivatives math.NT · 2005 · author #1
6. Very Simple Chaitin Machines for Concrete AIT cs.IT · 2005 · author #1
7. A New Formulation of Grover's Algorithm quant-ph · 2000 · author #1

Mentions

• 1301.1053 #1 · backfill · confidence 0.70 Michael Stay

Frequent Coauthors

• Derek Sorensen 1 shared papers
• Kyle Butt 1 shared papers
• L. G. Meredith 1 shared papers
• Lucius Gregory Meredith 1 shared papers