Predicate Transformers and Higher Order Logic (1992)

by R J R Back, J von Wright
Venue:In REX Workshop on Semantics: Foundations and Applications, the