Skip to main content
Agnivesh Singh's user avatar
Agnivesh Singh's user avatar
Agnivesh Singh's user avatar
Agnivesh Singh
  • Member for 7 years, 4 months
  • Last seen more than 5 years ago
3 votes
1 answer
218 views

Lambda calculus :difficulty in getting hang of induction and conversion

3 votes
1 answer
131 views

Lambda calculus : what about the bound variables in substituting expression?

3 votes
1 answer
794 views

Reduction of the Y combinator

2 votes
1 answer
103 views

Trying to verify the solution to a lambda calculus equation

2 votes
0 answers
42 views

Understanding First conversion rules from church's lambda bible

2 votes
1 answer
76 views

Lambda calculus :Will there be any x left after first substitution?

2 votes
1 answer
281 views

Doing beta reduction while constructing the boolean expression in lambda calculus

2 votes
2 answers
125 views

An explanation for Barendregt use of Y combinator in an equation

2 votes
1 answer
101 views

Rigorous reason against the seemingly wrong way of substitution

2 votes
2 answers
276 views

A basic question about recursive computation

2 votes
1 answer
285 views

Basic notation in lambda calculus

1 vote
2 answers
88 views

Any notions of operations in basic postulates of lambda calculus

1 vote
1 answer
1k views

Understanding church numerals

1 vote
0 answers
29 views

confusion due to the apparent difference in semantics of two beta reductions