6 Dec
2009
6 Dec
'09
3:12 p.m.
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
Hi Simon, that no directly usable semantics are available :-) Gr. Matthijs