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 5 years, 9 months
  • Last seen this week
Profile Activity
Stats
332
reputation
848
reached
1
answer
2
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
8
bronze badges
Top tags
View all tags
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
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
All Questions Answers
Score Newest
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
0
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?
11
Given `A = B`, how to prove `a: A` also has type B in Lean 4

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.