This repository contains the slides and notebooks used in the talk:
To type or not to type, a matter of logic
This talk was part of the conference Conf.IT 2022.
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.