Computer Science
Pushpa's user avatar
Pushpa's user avatar
Pushpa's user avatar
Pushpa
  • Member for 8 years, 10 months
  • Last seen more than a week ago
Profile Activity
Stats
933
reputation
10k
reached
0
answers
20
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
12
bronze badges
Top tags
View all tags
0
Score
11
Posts
55
Posts %
0
Score
6
Posts
30
Posts %
0
Score
4
Posts
20
Posts %
0
Score
3
Posts
15
Posts %
0
Score
2
Posts
10
Posts %
0
Score
2
Posts
10
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
21
Difference between Dependent type , refinement type and Hoare Logic
Mar 26, 2016
question
17
Strict positivity
Apr 7, 2016
question
5
Advances in recent time in Von-neumann self replication idea
Dec 24, 2015
question
5
How to use Type application Rule to get a desired type
Apr 1, 2016
question
4
Family of types in type theory
Apr 5, 2016
question
4
How Types avoids Russel's Paradox?
Aug 5, 2016
question
4
Answer Set Program to SAT translation
Sep 29, 2020
question
3
Represent there are infinitely many in FOL
Jul 18, 2018
question
2
Variable rule in dependent type theory
Mar 31, 2016
question
2
Meaning of , and ; in relation to defining context
Apr 1, 2016
Top network posts
View all network posts
15
What is the best path to learn Category theory and Type theory?
7
Checking formulas with two quantifiers ($\forall \exists$) - 2QBF
6
Types are erased before run time

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.