Logical relations, data abstraction, and structured fibrations.

John Power, Edmund Robinson

Browse the full PPDP paper archive.