Eliminating Binders for Easier Operational Semantics – The N-Category Cafégolem.ph.utexas.edu1 pointcolinprince9 years ago