Travelled to:
1 × USA
Collaborated with:
A.M.Pitts
Talks about:
fixpoint (1) foundat (1) comput (1) new (1)
Person: Roy L. Crole
DBLP: Crole:Roy_L=
Contributed to:
Wrote 1 papers:
- LICS-1990-CroleP #fixpoint
- New Foundations for Fixpoint Computations (RLC, AMP), pp. 489–497.