Predicate transformers and Linear Logic - yet another Denotational Model (2004)

by Pierre Hyvernat
Venue:In http://jumpstart.anr.mcnc.org
Citations:8 - 6 self