Computer Science
alim's user avatar
alim's user avatar
alim's user avatar
alim
  • Member for 7 years, 6 months
  • Last seen more than a month ago
Profile Activity
Stats
984
reputation
16k
reached
7
answers
35
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
7
silver badges
23
bronze badges
Top tags
View all tags
2
Score
21
Posts
50
Posts %
2
Score
6
Posts
14
Posts %
2
Score
5
Posts
12
Posts %
1
Score
11
Posts
26
Posts %
1
Score
9
Posts
21
Posts %
1
Score
7
Posts
17
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
12
Barendregt's Variable Convention: what does it mean?
Jan 26, 2017
question
7
$\lambda$-calculus, is there encoding of for or while?
Feb 26, 2018
question
6
call by value: what is a value?
Jun 28, 2016
question
6
why nominal unification is a first-order unification?
Nov 8, 2016
question
5
Some points about type checking of simply typed $\lambda$-calculus?
Feb 7, 2018
question
5
what is variable capture in nominal logic?
Nov 15, 2016
question
5
strong reduction of $\lambda$-terms, useful?
Nov 24, 2016
question
5
What is a quotient structure?
Feb 26, 2017
question
5
Nominal unification: How this lemma is proved?
Mar 17, 2017
question
4
How to understand these exposure algorithm rules for System F sub?
Oct 5, 2016
Top network posts
View all network posts
38
How to get requested fields inside GraphQL resolver?
23
No source file named main.c. gdb break point setting
15
automake error: no proper invocation of AM_INIT_AUTOMAKE was found
10
How to override login of flask-security?
9
Node.js how to read json data from request?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.