Computer Science
Nikolaj-K's user avatar
Nikolaj-K's user avatar
Nikolaj-K's user avatar
Nikolaj-K
  • Member for 11 years, 3 months
  • Last seen more than a week ago
Profile Activity
Stats
175
reputation
744
reached
0
answers
2
questions
Communities
View all
About

I prefer to keep an air of mystery about me.

Then again, here's my youtube channel.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
6
bronze badges
Top tags
0
Score
2
Posts
100
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
question
4
What do functions look like, if I stated out with the categoical model of my type theory?
Dec 17, 2013
question
3
Does types being terms imply your dependend theory is considered polymorphic?
Dec 16, 2013
Top network posts
View all network posts
119
Differentiating Propagator, Green's function, Correlation function, etc
104
lim sup and lim inf of sequence of sets.
100
Why are differential equations for fields in physics of order two?
56
Is there a function with the property $f(n)=f^{(n)}(0)$?
54
When does the set enter set theory?

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.