W3C home > Mailing lists > Public > public-rif-wg@w3.org > February 2008

Re: new BLD and the framework (FLD)

From: Adrian Giurca <giurca@tu-cottbus.de>
Date: Wed, 13 Feb 2008 09:54:34 +0100
Message-ID: <47B2B04A.5080907@tu-cottbus.de>
To: Michael Kifer <kifer@cs.sunysb.edu>
CC: RIF WG <public-rif-wg@w3.org>

> If you have function symbols then semantic structures cannot be built
> whether you have signatures or not, because they are infinite.
If there is a set of signatures for a specific functional symbol p then 
the arity of the symbol is implicitly defined. Then it might be the case 
to require that I_F is to be defined just for these arities...

> 	--michael  
Received on Wednesday, 13 February 2008 08:58:34 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:42 UTC