Hello, I having been looking for prior work on a formalised semantics for the TCG language. I have seen passing references, and wondered if anyone can provide any pointers?
If this is the wrong list for this question, apologies, please direct me elsewhere. Best, Ed
