MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "A Variable Typed Logic of Effects" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • A Variable Typed Logic of Effects  
  • by Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott — 1993 — Information and Computation
  • …A Variable Typed Logic of Effects Furio Honsell Udine University honsell@(email omitted); Ian A…
  • Cited by 44 (10 self) – Add To MetaCart
  • An Operational Logic of Effects  
  • by Jacob Frost, Ian A. Mason — 1996 — In Proceedings of the Australasian Theory Symposium, CATS ’96
  • … the investigations into a Variable Typed Logic of Effects that began in [20, 11, 21, 23, 12]. In particular we…
  • Cited by 4 (1 self) – Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB