@InCollection{    bath34527,
  Author        = "Gundersen, Tom and Heijltjes, Willem and Parigot, Michel",
  Abstract      = "An explicit-sharing lambda-calculus is presented, based on a Curry-Howard-style interpretation of the deep inference proof formalism. Duplication of subterms during reduction proceeds ?atomically', i.e. on individual constructors, similar to optimal graph reduction in the style of Lamping. The calculus preserves strong normalisation with respect to the lambda-calculus, and achieves fully lazy sharing.",
  BookTitle     = "Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science",
  date-added    = "2013-07-03 09:19:28 +0000",
  date-modified = "2013-07-03 09:19:28 +0000",
  Month         = "June",
  Publisher     = "IEEE",
  Title         = "Atomic lambda-calculus : a typed lambda-calculus with explicit sharing",
  URL           = "http://opus.bath.ac.uk/34527/",
  Year          = "2013",
  bdsk-url-1    = "http://opus.bath.ac.uk/34527/",
  File          = "Atomic lambda-calculus a typed lambda-calculus with explicit sharing - Gundersen, Heijltjes, Parigot (0) (0) - a - a - q.pdf"
}

@InCollection{ bath34527, Author = "Gundersen, Tom and Heijltjes, Willem and Parigot, Michel", Abstract = "An explicit-sharing lambda-calculus is presented, based on a Curry-Howard-style interpretation of the deep inference proof formalism. Duplication of subterms during reduction proceeds ?atomically', i.e. on individual constructors, similar to optimal graph reduction in the style of Lamping. The calculus preserves strong normalisation with respect to the lambda-calculus, and achieves fully lazy sharing.", BookTitle = "Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science", date-added = "2013-07-03 09:19:28 +0000", date-modified = "2013-07-03 09:19:28 +0000", Month = "June", Publisher = "IEEE", Title = "Atomic lambda-calculus : a typed lambda-calculus with explicit sharing", URL = "http://opus.bath.ac.uk/34527/", Year = "2013", bdsk-url-1 = "http://opus.bath.ac.uk/34527/", File = "Atomic lambda-calculus a typed lambda-calculus with explicit sharing - Gundersen, Heijltjes, Parigot (0) (0) - a - a - q.pdf" }