Techniques for Contextual Equivalence in Higher-Order, Typed Languages.

Andrew M. Pitts

Browse the full ESOP paper archive.