2,341 followers
RT @cbarrett: @prathyvsh @myers_jaz @bblfish @DanRosiak Looking forward to the paper. I did grab a copy of that book but haven't looked int…
RT @cbarrett: @prathyvsh @myers_jaz @bblfish @DanRosiak Looking forward to the paper. I did grab a copy of that book but haven't looked int…
@prathyvsh @myers_jaz @bblfish @DanRosiak Looking forward to the paper. I did grab a copy of that book but haven't looked into it yet. Current interest is in "Nominal Automata with Name Binding" (Schroeder, Kozen, Milius & Wissmann) https://t.co/gytu2z