labandalambda

labandalambda

Grupo de lectura sobre cálculo-λ, reescritura, lógica, teoría de tipos, categorías, y todo lo demás.

Pinned Repositories

labandalambda's Repositories