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

Tom Gundersen, Willem Heijltjes, Michel Parigot

Browse the full LICS paper archive.