11

Questions
votes newest views recent
1
0
votes
0
answers
66
views

Schönhage’s SMM with only one instruction

may 7 at 8:50 Anton Salikhmetov 61●6

2
0
votes
0
answers
85
views

Behavior of a one-point-changing operation on functions

apr 22 at 13:27 Anton Salikhmetov 61●6

1
1
vote
0
answers
108
views

Hypothesis: interaction-based model for maximum consistent theories

apr 9 at 11:32 Anton Salikhmetov 61●6

1
1
vote
0
answers
80
views

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

apr 9 at 7:15 Anton Salikhmetov 61●6

1
0
votes
0
answers
38
views

Optimal Reduction in Interaction Calculus

apr 7 at 15:03 Anton Salikhmetov 61●6

1
0
votes
0
answers
76
views

Turing-complete primitive interaction systems

mar 26 at 13:22 Anton Salikhmetov 61●6

2
3
votes
2
answers
386
views

Turing-complete primitive blind automata

may 6 at 15:22 Anton Salikhmetov 61●6

1
0
votes
0
answers
95
views

Looking for counterexamples to optimality by Levy

oct 17 at 21:40 Anton Salikhmetov 61●6

1
0
votes
0
answers
132
views

Compiling the lambda-calculus into Interaction Combinators

sep 28 at 5:14 Anton Salikhmetov 61●6

1
0
votes
1
answer
217
views

Universality of blind graph rewriting

may 6 at 15:21 Anton Salikhmetov 61●6

1 2 next