"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