Browse by organisation - WG2-1: Algorithmic Languages and Calculi