## Hasegawa, Masahito - Relational Parametricity and Control

lmcs:2245 - Logical Methods in Computer Science, July 27, 2006, Volume 2, Issue 3
Relational Parametricity and Control

Authors: Hasegawa, Masahito

We study the equational theory of Parigot's second-order &lambda;&mu;-calculus in connection with a call-by-name continuation-passing style (CPS) translation into a fragment of the second-order &lambda;-calculus. It is observed that the relational parametricity on the target calculus induces a natural notion of equivalence on the &lambda;&mu;-terms. On the other hand, the unconstrained relational parametricity on the &lambda;&mu;-calculus turns out to be inconsistent with this CPS semantics. Following these facts, we propose to formulate the relational parametricity on the &lambda;&mu;-calculus in a constrained way, which might be called focal parametricity''.

Source : oai:arXiv.org:cs/0606072
DOI : 10.2168/LMCS-2(3:3)2006
Volume: Volume 2, Issue 3
Published on: July 27, 2006
Submitted on: December 16, 2005
Keywords: Computer Science - Programming Languages,Computer Science - Logic in Computer Science,F.3.2