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
Cross-listing: Neurotree
Parents
Sign in to add mentor| John Baez | grad student | 2008-2015 | University of Auckland | |
| (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 |