Question about notation

To: types@uk.ac.gla.dcs
Subject: Question about notation
From: alti@uk.ac.ed.dcs
Date: Wed, 4 Nov 92 20:53:21 GMT
Approved: types@dcs.gla.ac.uk


In article <Bx6xoC.9vK@dcs.glasgow.ac.uk> wand@edu.northeastern.ccs.dec5120z (Mitchell Wand) writes:

	x1 has type tau-1, x2 has type tau-2,...,xn has type tau-n ?

      I have heard these sets sometimes called a BASIS, sometimes an
      ENVIRONMENT, sometimes a CONTEXT, etc. Any consensus?

   I tend to call one of these "a set of type assumptions", though the singular
   "type assumption" would be better.  [I usually use the meta-variable A to
   range over them].

I believe that in Type Theory the word context is now more or less
standard (many people also seem to use \Gamma as a meta-variable).
"Set" doesn't seem right because if you have dependent types you can't
reorder your context arbitrarily.
--

 Thorsten Altenkirch         	And there's a hand, my trusty fiere,
 Laboratory for Foundations  	   And gie's a hand o' thine,
 of Computer Science 	      	And we'll tak a right guid-willie waught
 University of Edinburgh     	   For auld lang syne!