Predicate Transformers and Higher Order Logic.

Ralph-Johan Back Joakim von Wright Predicate Transformers and Higher Order Logic. 1-20 1992 conf/rex/1992 REX Workshop db/conf/rex/rex92.html#BackW92 http://dx.doi.org/10.1007/3-540-56596-5_26