Theoretical Computer Science
Profile Activity
Network profile
539
reputation
2
10

Nift

Curious about metamathematics and computation

0
answers
13
questions
~2k
people reached
  • Somewhere
  • Member for 2 years, 8 months
  • 18 profile views
  • Last seen Apr 11 at 2:41

Communities (10)

Top network posts

We respect a laser-like focus on one topic.

Top tags (23)

Score 0
Posts 6
Posts % 46
Score 0
Posts 5
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 1
View all tags →

Top posts (13)

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 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
4 Non-trivial existence proof in type theory May 19 '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
2 Non-termination, strict positivity and free monads Feb 24 '20
1 Extended Church's thesis and internal parametricity Dec 3 '19
View all questions and answers →

Badges (12)

Gold

—

Silver

2

Rarest

Bronze

10

Rarest

View all badges →

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.