Travelled to:1 × Denmark
1 × Switzerland
2 × USA
Collaborated with:∅ P.W.O'Hearn G.D.Plotkin J.Power D.Sannella
Talks about:semant (2) relat (2) parametr (1) mathemat (1) interfer (1) variabl (1) control (1) snobol (1) logic (1) local (1)
Person: Robert D. Tennent
DBLP: Tennent:Robert_D=
Contributed to:
2000
199319821973Wrote 4 papers:
- ICALP-2000-PlotkinPST #logic
- Lax Logical Relations (GDP, JP, DS, RDT), pp. 85–102.
- POPL-1993-OHearnT #parametricity #relational
- Relational Parametricity and Local Variables (PWO, RDT), pp. 171–184.
- ICALP-1982-Tennent #semantics
- Semantics of Interference Control (RDT), pp. 532–545.
- POPL-1973-Tennent #semantics
- Mathematical Semantics of Snobol 4 (RDT), pp. 95–107.