en ¦ fr > Talks

Bidirectional Interpolation for the Lambda-Calculus

slides

Sous Licence Creative Commons CC0, source sur github. Développé avec Pelican. Thème adapté de pelican-svbhack par Giulio Fidente.