Skip to main content
Computer Science
Agnivesh Singh's user avatar
Agnivesh Singh's user avatar
Agnivesh Singh's user avatar
Agnivesh Singh
  • Member for 7 years, 10 months
  • Last seen more than 6 years ago
Profile Activity
Stats
385
reputation
4k
reached
0
answers
14
questions
Communities
View all
About

20 year old student , planning to take up physics as a stream of study and maybe as a career.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
0
Score
14
Posts
100
Posts %
0
Score
2
Posts
14
Posts %
Top posts
View all questions and answers
question
3
Lambda calculus :difficulty in getting hang of induction and conversion
Jun 11, 2017
question
3
Lambda calculus : what about the bound variables in substituting expression?
Jun 25, 2017
question
3
Reduction of the Y combinator
Mar 9, 2018
question
2
A basic question about recursive computation
Feb 17, 2017
question
2
Basic notation in lambda calculus
Feb 18, 2017
question
2
Lambda calculus :Will there be any x left after first substitution?
Jun 26, 2017
question
2
Doing beta reduction while constructing the boolean expression in lambda calculus
Mar 3, 2018
question
2
An explanation for Barendregt use of Y combinator in an equation
Mar 4, 2018
question
2
Rigorous reason against the seemingly wrong way of substitution
Mar 6, 2018
question
2
Trying to verify the solution to a lambda calculus equation
Mar 11, 2018
Top network posts
View all network posts
24
What's so special about message passing in Smalltalk?
12
Haskell irrefutable pattern matching
8
The propagation of electric field