Re: An alternative to possreps

From: David BL <davidbl_at_iinet.net.au>
Date: Mon, 13 Jun 2011 10:04:09 -0700 (PDT)
Message-ID: <34d7eeeb-5778-40e8-b90a-ce458b04dda0_at_r35g2000prj.googlegroups.com>


On Jun 13, 10:30 pm, Keith H Duggar <dug..._at_alum.mit.edu> wrote:

> 1) algebraic type systems do not just specify operators they
> specify /axioms/. Without the axioms all you have is syntax
> devoid of any useful semantics.

I certainly agree with that and didn't mean to suggest otherwise. Received on Mon Jun 13 2011 - 19:04:09 CEST

Original text of this message