🎯
Focusing
PhD in Applied Logic. My specialties are Term Rewriting extensions for binding support, particularly lambda calculus and nominal syntax. Log n Funct prog langs.
- London, UK
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.