Mathematics
Pushpa's user avatar
Pushpa's user avatar
Pushpa's user avatar
Pushpa
  • Member for 9 years, 9 months
  • Last seen more than a month ago
Profile Activity
Stats
380
reputation
5k
reached
1
answer
7
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
11
bronze badges
Top tags
View all tags
0
Score
3
Posts
38
Posts %
0
Score
2
Posts
25
Posts %
0
Score
2
Posts
25
Posts %
0
Score
1
Posts
12
Posts %
0
Score
1
Posts
12
Posts %
0
Score
1
Posts
12
Posts %
Top posts
All Questions Answers
Score Newest
question
15
What is the best path to learn Category theory and Type theory?
Dec 7, 2014
question
4
Why are Truth, Conjunction, and Implication called "Negative" fragments of IPL (intuitionisti logic Proposition Logic)?
Nov 19, 2014
question
3
Proving distributivity of Heyting algebras with the Yoneda lemma.
Dec 7, 2014
question
1
n - Strongly Connected
Mar 3, 2016
question
1
Mathematical Induction in constructive setting [closed]
Mar 19, 2016
question
1
Relation between k and k-1 edge connected graph
May 3, 2017
question
0
Solving a particular Integer Programming Problem
Dec 31, 2019
answer
0
Find a lambda-expressions F, K such that for all M, FM = F and KM = MK
Apr 13, 2015
Top network posts
View all network posts
21
Difference between Dependent type , refinement type and Hoare Logic
17
Strict positivity
7
Checking formulas with two quantifiers ($\forall \exists$) - 2QBF
6
Types are erased before run time
5
Advances in recent time in Von-neumann self replication idea

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.