Proof Theory and Category Theory

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

The course covered the following topics:

• Natural Deduction, sequent calculus and axiomatic logic.
• Minimal, Intuitionistic and Classical Logic.
• λ calculus and the Curry-Howard correspondence.

Document in Spanish.