Predicate transformers and linear logic: yet another denotational model (0)

by P Hyvernat
Venue:Tarlecki (Eds.), 18th International Workshop CSL 2004, Vol. 3210 of LNCS, Springer-Verlag