Episode #125 of the Stack Overflow podcast is here. We talk Tilde Club and mechanical keyboards. Listen now
Theoretical Computer Science
Meta user
Network profile
369
reputation
1
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, 8 months
  • 36 profile views
  • Last seen Sep 3 at 21:20

Communities (60)

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 (11)

Gold

—

Silver

1

Rarest

Bronze

10

Rarest

View all badges →