Theoretical Computer Science
Profile Activity
Meta user
Network profile
639
reputation
3
10

Nathaniel

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

0
answers
8
questions
~2k
people reached
  • Member for 7 years, 8 months
  • 39 profile views
  • Last seen Oct 4 at 7:56

Communities (64)

Top network posts

Top tags (8)

Score 0
Posts 3
Posts % 38
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 (8)

All Questions Answers
Votes Newest
19 A Lambda calculus for invertible (r-Turing computable) functions Feb 1 '14
10 Reversible Turing tarpits? Apr 15 '14
9 Defining primitive recursive functions over general data types Aug 27 '16
4 Defining a calculation-reversing function in the lambda calculus Feb 7 '14
3 Actual practical example of a prefix-free Turing-complete language May 16 '15
3 Is there research on “minimal” Turing-universal Markov algorithms? Dec 24 '15
2 Algorithm for extensional equality in combinator calculus May 8 '16
2 density of undeciability Apr 15 '14

Badges (13)

Gold

—

Silver

3

Rarest

Bronze

10

Rarest

View all badges →