"Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing."

Tom Gundersen, Willem Heijltjes, Michel Parigot (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics