@Article{         EndrullisHendriksKlopPolonsky,
  Author        = {Endrullis, J{\"o}rg and Hendriks, Dimitri and Klop, Jan Willem and Polonsky, Andrew},
  Abstract      = "We give a brief introduction to the clocked lambda calculus, an extension of the classical lambda calculus with a unary symbol tau used to witness the beta-steps. In contrast to the classical lambda calculus, this extension is infinitary strongly normalising and infinitary confluent. The infinitary normal forms are enriched Boehm Trees, which we call clocked Boehm Trees.",
  date-added    = "2014-09-25 14:15:20 +0000",
  date-modified = "2014-09-25 14:15:20 +0000",
  EPrint        = "1405.7500",
  Month         = "05",
  Title         = "An Introduction to the Clocked Lambda Calculus",
  URL           = "http://arxiv.org/abs/1405.7500",
  Year          = "2014",
  bdsk-url-1    = "http://arxiv.org/abs/1405.7500",
  File          = "An Introduction to the Clocked Lambda Calculus - Endrullis, Hendriks, Klop, Polonsky (0) (0) - a - a - w.pdf"
}

@Article{ EndrullisHendriksKlopPolonsky, Author = {Endrullis, J{\"o}rg and Hendriks, Dimitri and Klop, Jan Willem and Polonsky, Andrew}, Abstract = "We give a brief introduction to the clocked lambda calculus, an extension of the classical lambda calculus with a unary symbol tau used to witness the beta-steps. In contrast to the classical lambda calculus, this extension is infinitary strongly normalising and infinitary confluent. The infinitary normal forms are enriched Boehm Trees, which we call clocked Boehm Trees.", date-added = "2014-09-25 14:15:20 +0000", date-modified = "2014-09-25 14:15:20 +0000", EPrint = "1405.7500", Month = "05", Title = "An Introduction to the Clocked Lambda Calculus", URL = "http://arxiv.org/abs/1405.7500", Year = "2014", bdsk-url-1 = "http://arxiv.org/abs/1405.7500", File = "An Introduction to the Clocked Lambda Calculus - Endrullis, Hendriks, Klop, Polonsky (0) (0) - a - a - w.pdf" }