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.

Suggested readings and bibliography



Oggetto:

Class schedule

Content-type: text/html; charset=UTF-8 This module is not available - PhD in Computer Science - Università degli Studi di Torino Vai al contenuto principale

This module is not available

The Application 'lezioni' is not available.
For more information contact portale-supporto@unito.it
Oggetto:
Last update: 15/10/2020 09:40
Location: https://dott-informatica.campusnet.unito.it/robots.html
Non cliccare qui!