Vai al contenuto principale
Oggetto:
Oggetto:

Linear Logic

Oggetto:

Linear Logic

Oggetto:

Academic year 2020/2021

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 - informatica
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.

Enroll
  • Open
    Oggetto:
    Last update: 15/10/2020 09:40
    Location: https://dott-informatica.campusnet.unito.it/robots.html
    Non cliccare qui!