The reflexive cham and the join-calculus (1996)

by C Fournet, G Gonthier
Venue:In POPL ’96