Theoretical Computer Science
Profile Activity
Network profile
375
reputation
1
9

Nift

Curious about metamathematics and computation

0
answers
11
questions
~1k
people reached
  • Somewhere
  • Member for 2 years
  • 12 profile views
  • Last seen 16 hours ago

Communities (9)

Top network posts

We respect a laser-like focus on one topic.

Top tags (22)

Score 0
Posts 4
Posts % 36
Score 0
Posts 3
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 1
View all tags →

Top posts (11)

All Questions Answers
Votes Newest
6 Programmatic higher inductive/inductive-inductive types with equalities between equalities Mar 18
4 Rules between UIP with function extensionality and univalence Mar 30
4 Non-trivial existence proof in type theory May 19
3 Graph problems in P with unknown lower bounds Jun 4
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
1 Extended Church's thesis and internal parametricity Dec 3 '19
1 Extensional type theory and function extensionality Feb 12
0 Incompleteness and term extraction Oct 9 '19
0 Strong normalization, $\omega$-consistency, arithmetic soundness of CoC Mar 5
View all questions and answers →

Badges (10)

Gold

—

Silver

1

Rarest

Bronze

9

Rarest