A message from our CEO about the future of Stack Overflow and Stack Exchange. Read now.
Theoretical Computer Science
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 6 years, 11 months
  • 38 profile views
  • Last seen Sep 3 '19 at 21:20

Communities (62)

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 →