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

Cached

Download Links

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