The reexive CHAM and the joincalculus (0)

by C Fournet, G Gonthier
Venue:In POPL 96