Category Archives: Lambda Calculus

Seeing It as a Relationship: <-> beta-reduction

Posted in kerneltrap.org on January 30, 2010 – 4:36am Last week I got a question that asks me to show that the following statement about Y combinator in LaTeX is correct: where is defined as The statement about the union … Continue reading

Posted in Lambda Calculus, Learning Experience, Mathematics | Tagged | Leave a comment