MAIELI ROBERTO
(syllabus)
A) STRUCTURAL RULES INTERPRETED AS LOGICAL RULES: SEQUENT CALCULUS AND DERIVABILITY IN LINEAR LOGIC
B) POSITIVE AND NEGATIVE NON-DETERMINISM: FOCUSED SEQUENT CALCULUS FOR LINEAR LOGIC AND PROOF SEARCH
C) IMPLICIT COMPLEXITY AND LINEAR LOGIC
D) GEOMETRY OF PROOFS: PROOF NETS IN LINEAR LOGIC
E) INVARIANTS AND DEVELOPMENT OF INTERACTION OF PROOFS: COHERENT SPACES, GEOMETRY OF INTERACTION
(reference books)
NOTES AND SLIDES AVAILABLE ON THE COURSE WEB PAGE
https://sites.google.com/view/lm510/
|
Università Roma Tre