Travelled to:
1 × Serbia
Collaborated with:
∅
Talks about:
combinatori (1) system (1) reduct (1) extens (1) crsx (1)
Person: Kristoffer H. Rose
DBLP: Rose:Kristoffer_H=
Contributed to:
Wrote 1 papers:
- RTA-2011-Rose #combinator #named #reduction
- CRSX — Combinatory Reduction Systems with Extensions (KHR), pp. 81–90.