A Variable Typed Logic of Effects

• 1 May 1995
• journal article
• Published by Elsevier in Information and Computation
• Vol. 119  (1) , 55-90
• https://doi.org/10.1006/inco.1995.1077

Abstract

Keywords

• FUNCTIONAL
• CONTEXTUAL ASSERTIONS
• VARIABLE TYPED LOGIC
• LOGIC OF EFFECTS