The reflexive cham and the join-calculus. (1996)

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