Eliminating Binders for Easier Operational Semantics The n-Category Café, 10 Jun 2017 guest post by Mike…