Theoretical Computer Science
Profile Activity
Meta user
Network profile
585
reputation
2
8

user

Apparently, this user prefers to keep an air of mystery about them.

0
answers
9
questions
~3k
people reached
  • Member for 7 years, 4 months
  • 20 profile views
  • Last seen Sep 8 '19 at 17:44

Communities (26)

Top network posts

Top tags (15)

Score 0
Posts 2
Posts % 22
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (9)

All Questions Answers
Votes Newest
13 Is MLTT effectively pCiC without Prop? Jul 24 '15
7 Program equivalence wherein the programs are known to always halt Dec 8 '17
7 Weakly normalizing + confluent = strongly normalizing? May 11 '15
5 What is a 'free model'? Apr 23 '18
5 If I naively generalize the homeomorphic embedding relation for labeled finite trees in this way, do I still have a wqo? Jul 7 '18
5 Parse structure of a range concatenation grammar (RCG) Aug 10 '15
3 Difference between abstract machines and calculi Jan 8 '14
2 BSP, but with curved surfaces (NURBS? kernelized support vectors?) Apr 14 '14
0 Difference between 'string relations' and 'tree relations' w.r.t. synchronous CFGs Oct 16 '15

Badges (10)

Gold

—

Silver

2

Rarest

Bronze

8

Rarest

View all badges →