3 ms·Eliminating Binders for Easier Operational Semantics – The N-Category Café1 points by colinprince 9y ago