BibSLEIGH — Gareth_D_Rees

BibSLEIGH

BibSLEIGH corpus

BibSLEIGH tags

BibSLEIGH bundles

BibSLEIGH people

EDIT!

CC-BY

Open Knowledge

XHTML 1.0 W3C Rec

CSS 2.1 W3C CanRec

email

Travelled to:

1 × USA

Collaborated with:

Talks about:

bisimilar (1) calculus (1) subtyp (1) object (1) order (1) first (1)

Person: Gareth D. Rees

DBLP: Rees:Gareth_D=

Contributed to:

POPL 1996

1996

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.