I like this quote from Vinny Czarnecki's paper from SCiL this year because it makes explicit what I think I only made implicit in my dissertation. openpublishing.library.umass.edu/scil/article...
Replies
This is a nice paper, but I have many thoughts about some theoretical choices (beyond disagreeing with the slight implication that model-theoretic formalization are more generalizable than automata theoretic ones XD)
jul 7, 2025, 10:41 am • 1 0 • view