- Oggetto:
- Oggetto:
Linear Logic
- Oggetto:
Linear Logic
- Oggetto:
Academic year 2021/2022
- Course ID
- INF05
- Teacher
- Prof.ssa Simonetta Ronchi Della Rocca (Titolare del corso)
- Teaching period
- Da definire
- Type
- A scelta dello studente
- Credits/Recognition
- 6
- Course disciplinary sector (SSD)
- INF/01 - informatics
- Delivery
- Tradizionale
- Language
- Inglese
- Oggetto:
Sommario del corso
- Oggetto:
Program
Linear logic (Girard 1987) is a refinement of classical and intuitionistic logic. Instead of emphasizing truth, as in classical logic, or proof, as in intuitionistic logic, linear logic emphasizes the role of formulas as resources. To this aim a modality is used, to distinguish between linear resources (that can be used exactly once) and reusable ones (that can be used as many times we want, also 0). Since its focus on resources, Linear Logic has many application in Computer Science (e.g., implicit computational complexity, optimal implementation of functional languages). The course will illustrate the basis of Linear Logic, its operational semantics through proof-nets and geometry of interactions, and some of its applications to Theoretical Computer Science.
Suggested readings and bibliography
- Oggetto:
