PER's and operational semantics

Date: Thu, 20 Sep 90 14:10:54 EDT

There is been quite a bit of interest in the use
of Partial Equivalence Relations to model types
in programming languages.  However, I cannot think
of even one paper on PER's which discusses the
relationship between these models and the execution
of the programs they are intended to interpret.
What is currently known about this subject?  Are
there some obvious observations one can make based
on what is known about the untyped lambda calculus?

carl gunter