Bisimilarity of Open Terms (2000)

by Arend Rensink
Citations:21 - 0 self