Dan's 數位🪴園
Search
Search
Dark mode
Light mode
Explorer
Tag: lambda-calculus
1 item with this tag.
Feb 19, 2025
De Bruijn indices
cs
agda
lambda-calculus