Mike Stannett
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Logic×1Prog. Lang.×1
Research Timeline
2026
A Stone-Cech Collecting Semantics for Residual Process Behaviour
This paper proposes a compact semantics for nonterminating computation residuals using tail-clusters in the Stone-Cech compactification, providing a common framework for various types of recurrence and escape.
Highlighted terms show continued research focus across papers