Bisimilarity of Open Terms (2000)

by Arend Rensink
Citations:20 - 0 self