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

Cached

Download Links

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