Theoretical Computer Science
Zazaeil's user avatar
Zazaeil's user avatar
Zazaeil's user avatar
Zazaeil
  • Member for 5 years, 10 months
  • Last seen more than a week ago
  • Ukraine
Profile Activity
Stats
212
reputation
2k
reached
0
answers
4
questions
Communities
View all
About

I am a programmer interested in math.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
View all tags
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
question
8
Yet another constructive (Coq) proof that `nat -> nat -> nat` is not bijective. How to explain it to myself?
Mar 10
question
2
Is classical lambda calculus grammar an `LL(k)` one?
Mar 26
question
0
Assume `P != NP`, does it imply that one-way functions exist?
Nov 10
question
-5
Does any DAG can be topologically sorted? [closed]
Feb 10, 2018
Top network posts
View all network posts
23
Clarifying the homomorphism's definition?
16
Is there a difference between type signatures a -> b -> a and c -> a -> c?
11
Why doesn't the definition of a category require an explicit notion of morphisms equality?
9
Generalizing fold such that it becomes expressive enough to define any finite recursion?
8
How can I pass arguments to a make rule?

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.