Isomorphisms between Predicates and State Transformers.

Marcello M. Bonsangue, Joost N. Kok

Browse the full MFCS paper archive.