Follow

Lambda calculus, question 

Lambda calculus, question 

Lambda calculus, question 

@typochon I think because it's the more elegant encoding, and elaborating increasingly sophisticated concepts in terms of lambda calculus is part of how dependent types are generally explained.

There may be another reason I'm not aware of.

Sign in to participate in the conversation
Functional Café

functional.cafe is an instance for people interested in functional programming and languages.