Re: [TYPES] What are congruence rules called?

Norman Ramsey <nr-ETyUHPx6wWv2fBVCVOL8/[email protected]> Tue, 04 Jul 2017 12:29:41 -0400

Newsgroups	gmane.comp.science.types
Message-ID	<[email protected]>

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

 > Question: Is there a standard greek letter for naming the congruence rules,
 > such as κ or γ? Or any other relevant naming convention?

In his January 2015 notes on lambda calculus, Prakash Panangaden
uses μ, ν, and ξ for congruence rules.  Perhaps he can comment
on sources?


Norman