# Useful material

## Notes taken in class 1

**Axiomatic set theory**

Lecturer: Lorenzo Tortora de Falco

Supplementary notes (Italian)

*Note: these notes are not standalone*

**Abstract algebra**

Lecturer: Filippo Viviani

Lecture notes (Italian)

**Commutative algebra**

Lecturer: Margherita Lelli Chiesa

Lecture notes (Italian)

*Note: these notes are incomplete*

**Graph theory**

Lecturer: Ana Margarida Mascarenhas Melo

Lecture notes, part 1 (Italian)

Lecture notes, part 2 (Italian)

**Automata theory**

Lecturer: Pierre-Alain Reynier

Lecture notes (French)

**Linear algebra**

Lecturer: Angelo Felice Lopez

Lecture notes (Italian)

**Algebraic geometry**

Lecturer: Angelo Felice Lopez

Lecture notes (Italian)

*Note: these notes are incomplete*

## Notes taken in class 2

**Advanced geometry**

Lecturer: Massimiliano Pontecorvo

Lecture notes, part 1 (Italian)

Lecture notes, part 2 (Italian)

**Topology**

Lecturer: Ana Margarida Mascarenhas Melo

Lecture notes, part 1 (Italian)

Lecture notes, part 3 (Italian)

*Note: part 2 is missing*

**Mathematical analysis**

Lecturer: Michela Procesi

Lecture notes, part 1 (Italian)

Lecture notes, part 2 (Italian)

*Note: part 2 of these notes is incomplete*

**Complex analysis**

Lecturer: Ana Margarida Mascarenhas Melo

Lecture notes, part 1 (Italian)

Lecture notes, part 2 (Italian)

Supplementary notes (Italian)

**Probability theory**

Lecturer: Elisabetta Candellero

Lecture notes, part 1 (Italian)

Lecture notes, part 2 (Italian)

Lecture notes, part 3 (Italian)

## Study of specific topics

**Paradox and normalization failure**

Joint work with Luis Sánchez Polo

[12/08/2022]

**An internal language for autonomous categories**

[22/02/2022]

**An Anti-Locally-Nameless Approach to Formalizing Quantifiers**

[20/01/2022]

**Sequenzializzazione di Proof Net in MLL puro**

[05/08/2021]

Slides (Italian)

** Monadic second order logic**

[15/06/2021]

**Teoremi di Ramsey**

[09/04/2021]

Slides (Italian)

Slides for printing (Italian)

**Anelli di valutazione**

[08/02/2021]