Meta-theory la carte.

Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers

Browse the full POPL paper archive.