Dependent Types

Final project research paper for my Proof Theory II course, taught by Dr. Favio Ezequel Miranda Perea and TA Patricio Ordoñez Blanco.

The course covered the following topics:

• Second Order Logic.
• Modal Logics: GTK, S4, S5.
• Linear Logic.

Document in Spanish.