A notation query

• To: types@dcs.gla.ac.uk
• Subject: A notation query
• From: J Roger Hindley <J.R.Hindley@swansea.ac.uk>
• Date: Thu, 20 Oct 94 11:54:39 BST
• Approved: types@dcs.gla.ac.uk

When a type T is expressed in the form

                 T = T1 -> (T2 -> (... (Tn -> e)..))

where e is an atom, what is the most common name for the
components T1,...,Tn? Hypotheses of T? Antecedents of T?
Some other name?

 And, if T is itself a component of a larger type S, is there
any standard name for the relation of T1,...,Tn to S? I thought
of calling T1,...,Tn INTERIOR ANTECEDENTS of S (because they
are antecedents of something inside S).  Or perhaps SUB-ANTECEDENTS
or SUBHYPOTHESES. But all these seem big mouthfuls.

 ANTEPARTS or HYPOPARTS would be slicker, but rather uninformative.

 Is there an already established notation?

                   Roger Hindley, j.r.hindley@swansea.ac.uk

[Please e-mail answers to Roger.  Roger, please summarise answers
for this list!  -- Philip Wadler, moderator, Types Forum]

• Prev: Decision Problems For Second Order Linear Logic
• Next: ILPS94 e-mail registration
• Index(es):
  • Main
  • Thread