Most specifically, his use of small epsilon introduced at the end of section 1 of "Types, Abstraction and Parametric Polymorphism" is throwing me, but in general I would like references to symbols in the Type and Logical Relations literature.
$\begingroup$
$\endgroup$
$\begingroup$
$\endgroup$
You aren't going to find a list of all notations ever used. Apart from a few standard notations, each paper will define the notation that it uses.
This paper is from the dark ages of typewriter typesetting, so the typographic quality is subpar. The character ε stands for $\in$, which is the standard mathematical notation for set membership.
answered Aug 27 '13 at 7:43
Gilles 'SO- stop being evil'Gilles 'SO- stop being evil'
38.9k7 gold badges103 silver badges167 bronze badges
