The complexity space of partial functions: A connection between Complexity Analysis and Denotational Semantics

Romaguera Bonilla Salvador, Michel Schellekens, Valero Sierra Óscar

2011

International Journal of Computer Mathematics