Theoretical Computer Science
Profile Activity
Network profile
579
reputation
2
10

Nift

Curious about metamathematics and computation

0
answers
14
questions
~2k
people reached
  • Somewhere
  • Member for 3 years
  • 26 profile views
  • Last seen 13 hours ago

Communities (10)

Top network posts

We respect a laser-like focus on one topic.

This user doesn’t have any gold badges yet.
2
silver badges
10
bronze badges
View all badges

Top tags (25)

Score 0
Posts 6
Posts % 43
Score 0
Posts 5
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 2
View all tags →

Top posts (14)

All Questions Answers
Votes Newest
7 Strongly normalizing type theory beyond induction-recursion Mar 11
6 Programmatic higher inductive/inductive-inductive types with equalities between equalities Mar 18 '20
5 Non-trivial existence proof in type theory May 19 '20
5 Questions about P vs NP and geometric complexity theory Mar 31
4 Relative consistency of various Martin-Löf style type theories Mar 11
4 Rules between UIP with function extensionality and univalence Mar 30 '20
3 Graph problems in P with unknown lower bounds Jun 4 '20
3 Does a non-constructive proof of bounds of a computable asymptotic complexity, with impossible fix, exist? Sep 28 '18
3 Abstract stone duality and cohesive homotopy type theory Apr 18
2 Non-termination, strict positivity and free monads Feb 24 '20
View all questions and answers →

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.