[Prev][Next][Index][Thread]

Re: Question about notation

To: types@dcs.gla.ac.uk
Subject: Re: Question about notation
From: Andrew Pitts <Andrew.Pitts@uk.ac.cam.cl>
Date: Tue, 03 Nov 92 09:05:03 +0000
Approved: types@dcs.gla.ac.uk

 
\Gamma |- M has type tau

should be called a "typing assertion", or to be more Swedish, a "typing
judgement".

Andy Pitts