Title | Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion |
---|---|
Author | Franck van Breugel |
Year | 1996 |
Edition | |
Volume | |
Series | Progress in Theoretical Computer Science |
Publisher | Birkhäuser Basel |
City | |
Language | English |