Variable binding operators in transition system specifications / by C.A. Middelburg
mainEntity
Variable binding operators in transition system specifications / by C.A. Middelburg
about
author
inLanguage
mainEntityOfPage
name
Variable binding operators in transition system specifications
numberOfPages
publication
sameAs
label
Variable binding operators in transition system specifications / by C.A. Middelburg