Gareth D. Rees

List of publications from the DBLP Bibliography Server - FAQ

1996

1 EE Andrew D. Gordon, Gareth D. Rees: Bisimilarity for a First-Order Calculus of Objects with Subtyping. POPL 1996: 386-395

1996
1	EE	Andrew D. Gordon, Gareth D. Rees: Bisimilarity for a First-Order Calculus of Objects with Subtyping. POPL 1996: 386-395

Coauthor Index

1 Andrew D. Gordon (Andy Gordon) [1]