9 citations · 21 across the 13 of their papers we have counts for
1 paper · 2 filters
Sandra Alves, Maribel Fernández, Mário Florido +1
We define two extensions of the typed linear lambda-calculus that yield minimal Turing-complete systems. The extensions are based on unbounded recursion in one case, and bounded re…