Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Mon, 15 May 1995 13:12:56 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA109172134;
          Mon, 15 May 1995 04:02:14 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from vanuata.dcs.gla.ac.uk by leopard.cs.byu.edu 
          with ESMTP (1.37.109.15/16.2) id AA109142118;
          Mon, 15 May 1995 04:01:58 -0600
Received: from gozo.dcs.gla.ac.uk by vanuata.dcs.gla.ac.uk with LOCAL SMTP (PP);
          Mon, 15 May 1995 10:08:20 +0100
To: chou@cs.ucla.edu
Cc: info-hol@leopard.cs.byu.edu, tfm@dcs.gla.ac.uk
Subject: Re: Sequences
In-Reply-To: Your message of "Sat, 13 May 1995 21:57:16 PDT." <9505140457.AA18615@maui.cs.ucla.edu>
Date: Mon, 15 May 1995 10:08:17 +0100
From: Tom Melham <tfm@dcs.gla.ac.uk>
Message-ID: <"swan.cl.cam.:140820:950515121514"@cl.cam.ac.uk>


> Finite sequences can be represented by lists;
> infinite sequences can be represented by functions with domain :num.
> But has anyone developed a theory of sequences that can deal with
> both finite and infinite sequences?

I think Gavan Tredoux at UCT did something like this for
his Master's degree.  He's at gavan@elc.mth.uct.ac.za.

Tom