A compositional generalisation of logical relations. Draft report, http://www.dcs.ed.ac.uk/home/dts/pub/ laxlogrel.ps (1998)

by G Plotkin, J Power, D Sannella