Last call to make your voice heard! Our 2022 Developer Survey closes in less than a week. Take survey.
Theoretical Computer Science
user avatar
user avatar
user avatar
Nift
  • Member for 3 years, 10 months
  • Last seen this week
  • Somewhere
Profile Activity
Stats
713
reputation
3k
reached
1
answer
16
questions
Communities
View all
About

Curious about metamathematics and computation

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
11
bronze badges
Top tags
View all tags
0
Score
9
Posts
53
Posts %
0
Score
7
Posts
41
Posts %
0
Score
4
Posts
24
Posts %
0
Score
3
Posts
18
Posts %
0
Score
2
Posts
12
Posts %
0
Score
2
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
7
Strongly normalizing type theory beyond induction-recursion
Mar 11, 2021
question
7
Type theory and fixed points of datatypes
Dec 2, 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
How do we use directed univalence in directed type theory?
Mar 9
question
5
Questions about P vs NP and geometric complexity theory
Mar 31, 2021
question
4
Abstract stone duality and cohesive homotopy type theory
Apr 18, 2021
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
5
Does ST$\lambda$C equal to simple type 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.