# Tagged Questions

For questions on the formal system in mathematical logic for expressing computation using abstract notions of functions and combining them through binding and substitution.

66 views

### Simple Problem with Lambda Calculus and Y Combinator

I am currently reading about the lambda calculus as well as the Y combinator. I know that for any function $f$, $Yf$ is a fixed-point of $f$, that is $f(Yf) = Yf$. In order to wrap my head around this,...
184 views

### Barendregt's Substitution Lemma (lambda calculus)

I am struggling to put words on an idea used in Barendregt's Substitution Lemma's proof. (available here) The lemma states that: If x≠y and x not free in L and M, L are $\lambda$-terms: then ...
207 views

### Doing alpha conversions and beta reductions, Lambda Calculus

I am attempting to perform Lambda calculations. I have the following information. T = $\lambda xy.x$ F = $\lambda xy.y$ A = $\lambda xy.xyF$ I attempted to perform Beta reduction and alpha ...
106 views

I'm triyng to understanding lambda calculus but I have some difficulty espacially when websites or books I search starts to make things a bit more complicated. what I've understood by now is: given (...
43 views