All Questions
Tagged with hereditary-substitution normal-form
1
question
2
votes
2
answers
190
views
Canonical forms of combinators
Binders are painful when dealing with metatheory. Combinators are one potential approach to avoid the pain of binders. But it'd be nice if I could normalize combinators to canonical forms. Is there ...