1 citations · 1 across the 1 of their papers we have counts for
1 paper
Joseph Gil, Ori Roth
We present a correspondence and bisimulation between variants of parametrically polymorphic type systems and variants of finite control automata, such as FSA, PDA, tree automata an…