2020-06-30 16:12:19 (GMT)
I wonder if there's an extension of connection calculus with builtin treatment of equality
2020-06-30 16:12:31 (GMT)
Something like what Princess does with rigid E-unif, perhaps
2020-06-30 16:26:13 (GMT)
Question to Ben: Did you also compare EPICC with different leanCoP strategies (e.g. cut, nocut, nodef)?
2020-06-30 16:26:49 (GMT)
Thanks!
2020-06-30 17:26:25 (GMT)
A reference posted by @Stephan Schulz on the zoom chat relating to the third talk: (coded context trees) http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.11.7419&rep=rep1&type=pdf