@dblp

Towards a General Theory of Barbs, Contexts and Labels.

, , and . APLAS, volume 7078 of Lecture Notes in Computer Science, page 289-304. Springer, (2011)

Links and resources

Tags