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

by Pierre Hyvernat
Venue:18th International Workshop CSL 2004 (Jerzy Marcinkowski and Andrzej Tarlecki, eds.), LNCS