Theoretical Computer Science
Ilk's user avatar
Ilk's user avatar
Ilk's user avatar
Ilk
  • Member for 5 years, 4 months
  • Last seen this week
  • Somewhere
Profile Activity
Stats
900
reputation
6k
reached
4
answers
21
questions
Communities
View all
About

Curious about metamathematics and computation

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
13
bronze badges
Top tags
View all tags
3
Score
12
Posts
48
Posts %
3
Score
2
Posts
8
Posts %
2
Score
4
Posts
16
Posts %
2
Score
2
Posts
8
Posts %
0
Score
7
Posts
28
Posts %
0
Score
4
Posts
16
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
8
Type theory and fixed points of datatypes
Dec 2, 2021
question
7
Strongly normalizing type theory beyond induction-recursion
Mar 11, 2021
question
6
Programmatic higher inductive/inductive-inductive types with equalities between equalities
Mar 18, 2020
question
5
Non-trivial existence proof in type theory
May 19, 2020
question
5
Questions about P vs NP and geometric complexity theory
Mar 31, 2021
question
5
Abstract stone duality and cohesive homotopy type theory
Apr 18, 2021
question
5
How do we use directed univalence in directed type theory?
Mar 9, 2022
question
4
Relative consistency of various Martin-Löf style type theories
Mar 11, 2021
question
4
Rules between UIP with function extensionality and univalence
Mar 30, 2020
question
3
Graph problems in P with unknown lower bounds
Jun 4, 2020
Top network posts
View all network posts
10
Isbell duality between algebras and sheaves
7
Can you build W-types out of natural numbers predicatively?
7
Proving strict positivity in Agda
7
Does ST$\lambda$C equal to simple type theory?
6
Are infinitary monads monadic?

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.