@dblp

Inverse and Implicit Functions in Domain Theory.

, and . LICS, page 417-426. IEEE Computer Society, (2005)

Links and resources

Tags