Franck van Breughel

• Comparative Metric Semantics of Programming Languages
• Comparative Metric Semantics of Programming Languages, Nondeterminism and Recursion (Progress in Theoretical Computer Science)