Travelled to:
1 × USA
Collaborated with:
C.Hewitt P.Bishop I.Greif B.C.Smith T.Matson
Talks about:
induct (1) evalu (1) actor (1) meta (1)
Person: Richard Steiger
DBLP: Steiger:Richard
Contributed to:
Wrote 1 papers:
- POPL-1973-HewittBGSMS #induction
- Actor Induction and Meta-Evaluation (CH, PB, IG, BCS, TM, RS), pp. 153–168.