Michael Aden Stay
Affiliations: | Pyrofex Corporation |
Area:
Higher-categorical semantics of concurrencyWebsite:
https://www.cs.auckland.ac.nz/~msta039/Google:
"Michael Stay"Bio:
http://hdl.handle.net/2292/26625
Mean distance: 106866
Cross-listing: MathTree
Parents
Sign in to add mentorJohn Baez | grad student | 2008-2015 | University of Auckland (MathTree) | |
(Physics and Computation) | ||||
Cristian S. Calude | grad student | 2008-2015 | University of Auckland (Computer Science Tree) | |
(Physics and Computation) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Stay M, Vicary J. (2013) Bicategorical Semantics for Nondeterministic Computation Electronic Notes in Theoretical Computer Science. 298: 367-382 |
Baez J, Stay M. (2012) Algorithmic thermodynamics Mathematical Structures in Computer Science. 22: 771-787 |
Baez J, Stay M. (2011) Physics, topology, logic and computation: A Rosetta Stone Lecture Notes in Physics. 813: 95-172 |
Calude CS, Stay MA. (2008) Most programs stop quickly or never halt Advances in Applied Mathematics. 40: 295-308 |
Calude CS, Stay MA. (2006) Natural halting probabilities, partial randomness, and zeta functions Information and Computation. 204: 1718-1739 |
Svozil K, Calude CS, Stay MA. (2005) From Heisenberg to Gödel via Chaitin International Journal of Theoretical Physics. 44: 1053-1065 |