Pinned Repositories
lambda-calculus-and-categories
A repository for the material of my course on lambda-calculus and categories
models-of-programming-languages
Slides and handwritten notes on the course on models of programming languages
pamellies.github.io
nyush-durf-2024-pl
pamellies's Repositories
pamellies/models-of-programming-languages
Slides and handwritten notes on the course on models of programming languages
pamellies/lambda-calculus-and-categories
A repository for the material of my course on lambda-calculus and categories
pamellies/pamellies.github.io