Travelled to:
1 × USA
Collaborated with:
∅
Talks about:
substitut (1) recurs (1) found (1) well (1) set (1) non (1)
Person: R. T. P. Fernando
DBLP: Fernando:R=_T=_P=
Contributed to:
Wrote 1 papers:
- LICS-1989-Fernando #on the #recursion #set
- On Substitutional Recursion Over Non-Well-Founded Sets (RTPF), pp. 273–282.