Logical reasoning for higher-order functions with local state

by Nobuko Yoshida , Kohei Honda , Martin Berger
Venue:In Foundations of Software Science and Computation Structure
Citations:13 - 4 self