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.












