2013-05-15T16:47:47Z

Engineering Formal Metatheory

I don't know what it means but it sounds cool

http://www.cis.upenn.edu/~bcpierce/papers/binders.pdf