Logical relations and parametricity - A Reynolds Programme for category theory and programming languages dedicated to the memory of John C. Reynolds, 1935-2013: in Proceedings of the Workshop on Algebra, Coalgebra and Topology (WACT 2013)

Claudio Hermida, Uday S. Reddy, Edmund P. Robinson

Research output: Contribution to journal › Article › peer-review

9 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Logical relations and parametricity - A Reynolds Programme for category theory and programming languages dedicated to the memory of John C. Reynolds, 1935-2013: in Proceedings of the Workshop on Algebra, Coalgebra and Topology (WACT 2013)'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science