11

Questions
votes newest views recent
3
3
votes
1
answer
542
views

Algebraic structure generated by primitive graph operations

jan 12 at 16:00 Bilal Khan 1

2
3
votes
2
answers
401
views

Turing-complete primitive blind automata

may 6 at 15:22 Anton Salikhmetov 61●6

1
0
votes
1
answer
219
views

Universality of blind graph rewriting

may 6 at 15:21 Anton Salikhmetov 61●6

1
0
votes
0
answers
155
views

Compiling the lambda-calculus into Interaction Combinators

sep 28 at 5:14 Anton Salikhmetov 61●6

1
1
vote
0
answers
112
views

Hypothesis: interaction-based model for maximum consistent theories

apr 9 at 11:32 Anton Salikhmetov 61●6

1
1
vote
0
answers
106
views

Is it possible to implement η-reduction in interaction nets?

apr 9 at 7:15 Anton Salikhmetov 61●6

1
0
votes
0
answers
96
views

Looking for counterexamples to optimality by Levy

oct 17 at 21:40 Anton Salikhmetov 61●6

2
0
votes
0
answers
86
views

Behavior of a one-point-changing operation on functions

apr 22 at 13:27 Anton Salikhmetov 61●6

1
0
votes
0
answers
81
views

Turing-complete primitive interaction systems

mar 26 at 13:22 Anton Salikhmetov 61●6

1
0
votes
0
answers
72
views

Schönhage’s SMM with only one instruction

may 7 at 8:50 Anton Salikhmetov 61●6

1 2 next