nLab Robert D. Tennent

• institute page

Selected writings

On denotational semantics and domain theory for programming languages:

• Robert D. Tennent, The denotational semantics of programming languages, Communications of the ACM 19 8 (1976) 437–453 [doi:10.1145/360303.360308, pdf]

• Robert D. Tennent, Denotational semantic, in: Handbook of Logic in Computer Science 3, Oxford University Press (1995) [ISBN:9780198537625[

On bireflective subcategories with ambidextrous adjoints:

• Peter Freyd, Peter O’Hearn, A. John Power, M. Takeyama, Ross Street, Robert D. Tennent, Bireflectivity, Theoretical Computer Science 228 1–2 (1999) 49-76 [doi:10.1016/S0304-3975(98)00354-5]

category: people