Language preorder as a precongruence

by Wan Fokkink
Venue:Theoretical Computer Science
Citations:4 - 4 self