The reflexive cham and the join-calculus (1996)

by C Fournet, G Gonthier
Venue:In Conference Record of POPL’96, The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of programming Languages, ACM