Elies García Alvira
Blog
Canon
Bookmarks
About
Español
Bookmarks
(1)
Search bookmarks
Search
all
16
article
1
essay
2
guide
1
post
11
thesis
1
Aug 2026
(1)
A Graphical Notation for the Lambda Calculus With Animated Reduction
dkeenan.com · David C. Keenan · article