Initial algebra semantics is enough (2007)

by P Johann, N Ghani
Venue:In TLCA’07