Theoretical Computer Science
Profile Activity
Network profile
335
reputation
1
9

Nift

Curious about metamathematics and computation

0
answers
10
questions
~980
people reached
  • Somewhere
  • Member for 1 year, 10 months
  • 10 profile views
  • Last seen 18 hours ago

Communities (8)

Top network posts

We respect a laser-like focus on one topic.

Top tags (19)

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

Top posts (10)

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 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
0 Automatic theorem prover for first-order logic versus model checker Apr 15

Badges (10)

Gold

—

Silver

1

Rarest

Bronze

9

Rarest