Questions tagged [binders]
Questions regarding binders (eg. by means of De Bruijn indices, HOAS, nominal approach) should be tagged with this.
0
questions with bounties
No questions found. Perhaps you'd like to select a different tab?