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; Sun, 4 Sep 1994 23:29:52 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA02115;
          Sun, 4 Sep 1994 16:29:29 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA02111;
          Sun, 4 Sep 1994 16:29:24 -0600
Received: from cornell.edu (cornell.edu [132.236.56.6]) 
          by dworshak.cs.uidaho.edu (8.6.9/1.0) with SMTP id PAA14242 
          for <info-hol@cs.uidaho.edu>; Sun, 4 Sep 1994 15:23:46 -0700
Received: from msiadmin.cit.cornell.edu ([128.253.216.2]) by cornell.edu 
          with SMTP id <146500-5>; Sun, 4 Sep 1994 18:23:21 -0400
Date: Sun, 4 Sep 1994 18:23:14 -0400
From: garrel@msiadmin.cit.cornell.edu (Garrel Pottinger-MSI Visitor)
Received: by msiadmin.cit.cornell.edu (4.1/1.5) id AA05930;
          Sun, 4 Sep 94 18:23:14 EDT
Message-Id: <9409042223.AA05930@msiadmin.cit.cornell.edu>
To: morley@gmd.de
Subject: Re: Where do type constructors come from?
Cc: info-hol@cs.uidaho.edu

And don't forget:  There are no type variables in Church's system of
type theory.

Regards,

Garrel