Comparative Metric Semantics of Programming Languages

Nondeterminism and Recursion

Authors:

ISBN: 978-1-4612-8680-6 (Print) 978-1-4612-4160-7 (Online)