works on
directed type theory 1dpll algorithm 1formal verification 1proof assistant 1proof assistants 1sat solving 1simplicial type theory 1synthetic ∞-categories 1transition systems 1type checking 1

From the 2 of 4 linked papers with an AI index.

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2026

Category Theory for Programming

Benedikt Ahrens, Kobe Wullaert

In these lecture notes, we give a brief introduction to some elements of category theory. The choice of topics is guided by applications to functional programming. Firstly, we stud…