search

hbr / Lambda-Calculus

Some papers on "Lambda Calculus"
23 stars 4 forks source link

Small typo in Lemma 3.6 on page 20 #8

Closed AlienKevin closed 1 year ago

AlienKevin commented 1 year ago

Lemma 3.6. Substitution to sort lemma: If the result of a substitution is a sort then either the term in which the substitution occurs is the term or the term is the variable to be replaced and the substitution term is the sort.

I think the term is meant to be sort instead?

hbr commented 1 year ago

You are right. It's a typo. Thanks for the hint.

hbr commented 1 year ago

The typo should be corrected now. Again, thanks for the hint.