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

Nathaniel

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

0
answers
8
questions
~3k
people reached
  • Member for 8 years, 5 months
  • 45 profile views
  • Last seen Jul 12 at 15:30

Communities (66)

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
20 A Lambda calculus for invertible (r-Turing computable) functions Feb 1 '14
11 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 →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.