Logical reasoning for higher-order functions with local state (2006)

by Nobuko Yoshida , Kohei Honda , Martin Berger , Queen Mary
Venue:of Lecture Notes in Computer Science
Citations:13 - 4 self