Login / Signup

Denotational semantics for programming languages, balanced quasi-metrics and fixed points.

Jesús Rodríguez-LópezSalvador RomagueraÓscar Valero
Published in: Int. J. Comput. Math. (2008)
Keyphrases