From: ivan@ootbcomp.com   
      
   On 6/25/2014 9:54 PM, George Neuner wrote:   
      
   > Moreover, there are 3 broad categories of semantic description:   
   > operational, denotational and axiomatic.  Lambda calculus really is   
   > suitable only for expressing operational and/or denotational forms.   
   > Axiomatic descriptions generally take the form of a propositional   
   > algebra.   
      
   Where would you place VWG on the operational/denotational/axiomatic   
   spectrum?   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)