Light mode
CS442
Principles of Programming Languages
Winter 2023
University of Waterloo
Homepage
Schedule
Outline
Course Notes
Assignments
Tools
Piazza
7
More precisely, perform
η
-expansion. Note that
Y
′→
η
2
Y
.
© Gregor Richards. | Design by
TEMPLATED
.