Gareth D. Rees

According to our database, Gareth D. Rees authored at least 1 paper in 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1996

Bisimilarity for a First-Order Calculus of Objects with Subtyping.

Andrew D. Gordon, Gareth D. Rees

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996