what an "Obama Festival" is like!

him being a symbol overseas too that big step changes for the better can happen..and it's all improvisation from there on out.

prefers big step semantics to denotational ones any day

aren't they the same? Getting lost in real-world operational details (and their current multitude) is a real danger for O*.

it depends upon his notion of observables; if that includes operational aspects ignored by denotational then we could succeed while failing!

a bit lost amongst you theoreticians.

do you have any lingering questions re contexts, BTW Dylan? My PhD was pretty much all about contexts ...