Isomorphisms between Predicate and State Transformers (1993)

by Marcello Bonsangue , Joost N. Kok
Venue:In Proc., MFCS '93, Springer LNCS 711
Citations:4 - 0 self