Home

Proofs

Library

Chat

Docs

Notif.

Billing

Settings

Sign in

home

library

authors

Robert Harper

Robert Harper

Publications

Internal Parametricity for Cubical Type Theory. Evan Cavallo, Robert Harper. 2021.