Learn More
We add the notion of time to denotational models of the λcalculus. The denotation is no longer constant through reduction, but rather decreases with respect to an appropriate order. Categorically, we(More)
  • 1