Semantic Domain

I've got a new draft paper out with Nick Benton, Ultrametric Semantics of Reactive Programs . We answer some longstanding open questions...

I think I will keep some research notes online. I've tried installing MathJax, so this should not be too unreadable, either. Let me begi...