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, 11 Jul 1994 21:38:19 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA15129;
          Mon, 11 Jul 1994 14:32:05 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from emu.pmms.cam.ac.uk by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA15125;
          Mon, 11 Jul 1994 14:31:55 -0600
Received: by emu.pmms.cam.ac.uk (UK-Smail 3.1.25.1/1); Mon, 11 Jul 94 21:28 BST
Message-Id: <m0qNRxq-0003UFC@emu.pmms.cam.ac.uk>
Date: Mon, 11 Jul 94 21:28 BST
From: Thomas Forster <T.Forster@pmms.cam.ac.uk>
To: chou@cs.ucla.edu, info-hol@leopard.cs.byu.edu
Subject: Re: "Meta" rewriting

There are various people who know a lot about higher-order unification.
Gerard Huet for one.  If i wanted to know more about this i would email
an old Cambridge connection: David.Wolfram@prg.ox.ac.uk.

     Good luck!

         Thomas