Schematic Polymorphism in the Abella Proof Assistant.

Gopalan Nadathur, Yuting Wang

Browse the full PPDP paper archive.