Travelled to:1 × Italy
Collaborated with:∅ H.R.Jervell
Talks about:univers (1) insepar (1) recurs (1) machin (1) linear (1) logic (1) ture (1)
Person: Stål Aanderaa
DBLP: Aanderaa:St=aring=l
Contributed to:
1992Wrote 2 papers:
- CSL-1992-Aanderaa #turing machine
- A Universal Turing Machine (SA), pp. 1–4.
- CSL-1992-AanderaaJ #linear #logic #recursion
- Recursive Inseparability in Linear Logic (SA, HRJ), pp. 5–13.