## User login## Navigation |
## A Model for Formal Parametric Polymorphism: A PER Interpretation for System RA Model for Formal Parametric Polymorphism: A PER Interpretation for System R , Roberto Bellucci, Martin Abadi, Pierre-Louis Curien. TLCA 1995
System R is a logic for proving relational parametricity results. It's similar in some ways to Abadi-Plotkin logic, which we have linked to previously on LtU. |
## Browse archives## Active forum topics |

## Recent comments

8 hours 57 min ago

4 days 1 hour ago

5 days 1 hour ago

5 days 3 hours ago

5 days 3 hours ago

6 days 9 hours ago

6 days 9 hours ago

1 week 4 hours ago

1 week 5 hours ago

1 week 6 hours ago