Re: Formal semantics for Core?

Hi Simon,

The paper on System FC [1] has an operational semantics. Would that do? It seems like a start. It doesn't matter much, since I don't have any time left to actually work on this, but I wanted to verify my claim in my report that no directly usable semantics are available :-)

Gr. Matthijs