| A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs Recent countries visiting this post |  |
 | 3 | United States |
| A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs Recent countries visiting this post | |
| 3 | United States |