Inverse and implicit functions in domain theory (2005)

by A Edalat, D Pattinson
Venue:Proc. 20th IEEE Symposium on Logic in Computer Science (LICS 2005