Skip to main content
Theoretical Computer Science
Jozef Mikušinec's user avatar
Jozef Mikušinec's user avatar
Jozef Mikušinec's user avatar
Jozef Mikušinec
  • Member for 6 years, 9 months
  • Last seen more than a week ago
Profile Activity
Stats
342
reputation
931
reached
1
answer
2
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
Top tags
View all tags
1
Score
1
Posts
33
Posts %
1
Score
1
Posts
33
Posts %
1
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
question
10
What are the issues with a set-like interpretation of quantifiers in type theory?
Dec 4, 2021
question
6
An analogue of Scott continuity for infinite-time-Turing-computable functions
Jun 4, 2022
answer
1
Algorithm for finding traffic equilibrium
Dec 8, 2021
Top network posts
View all network posts
16
If A and B are correlated and A and C are correlated. Why is it possible for B and C to be uncorrelated?
13
Given `A = B`, how to prove `a: A` also has type B in Lean 4
7
How to prove termination of mutually recursive functions if only some decrease their arguments?