60882
η-reduction can be seen to be the same as the concept of " local completeness " in natural deduction , via the Curry–Howard isomorphism .
 Curry–Howard
Please list all entity words in the text that fit the category. Output format is "word1, word2". 
Option: location, person, organization 
Text: {0} 
Answer:
 Curry–Howard