Allows structural representation of lambda expressions without variable names
de Bruijn indices
Creator
Creator
Seonglae ChoCreated
Created
2020 Nov 19 13:14Editor
Editor
Seonglae ChoEdited
Edited
2025 Oct 19 16:2Refs
Refs
Seonglae ChoSeonglae Cho