Semantic Domain
Tuesday, April 19, 2011
Models of Linear Logic: Length Spaces
›
One of the things I've wondered about is what the folk model of linear logic is. Basically, I've noticed that people use linear log...
5 comments:
Friday, March 25, 2011
A Semantic Model for GUI Programs
›
Our paper on ultrametric semantics will appear at LICS 2011 ! We've got a new draft , too, on applying this to GUI programming. This tur...
Friday, January 14, 2011
Ultrametric Semantics of Reactive Programs
›
I've got a new draft paper out with Nick Benton, Ultrametric Semantics of Reactive Programs . We answer some longstanding open questions...
Friday, November 5, 2010
Research notes
›
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...
‹
Home
View web version