Travelled to:
1 × USA
Collaborated with:
A.D.Gordon
Talks about:
bisimilar (1) calculus (1) subtyp (1) object (1) order (1) first (1)
Person: Gareth D. Rees
DBLP: Rees:Gareth_D=
Contributed to:
Wrote 1 papers:
- POPL-1996-GordonR #calculus #first-order #similarity #type system
- Bisimilarity for a First-Order Calculus of Objects with Subtyping (ADG, GDR), pp. 386–395.