Course Information

MATH 670

Instructor:

Esfandiar Haghverdi
DRLB 4C3
Tel: (251) 989-5974
e-mail:esfan@math.upenn.edu

Office hours: Tuesday, Thursday: 1:30-2:30, and by appointment.

Lectures:

Tuesday, Thursday: 12:00-1:30 PM, 4E19

Required Material:

We will use lecture notes prepared from several sources. However, I will provide information for additional reading and reference purposes below. The list will grow as we proceed in the course.

• Category Theory
  • Categories for the Working Mathematician, S. Mac Lane, 1998 (2nd edition), Springer-Verlag.
  • Category Theory for Computing Science, M. Barr and C. Wells, Prentice Hall.
  • Basic Category Theory, J. van Oosten, 1995, Lecture Series, BRICS.
• Linear Logic
  • Lectures on Linear Logic, A. Troelstra, CSLI Lecture Notes, No. 29, 1992.
  • Advances in Linear Logic, Girard, Lafont and Regnier eds.,
    London Mathematical Society lecture note series, 222, 1995.
  • Linear Logic Pages
    You can also find here the URL to the lecture notes by di Cosmo and Danos and much more!
• Game Semantics
  • Semantics of Interaction
  • Lecture Notes on Game Semantics

Evaluation:

The following weights will be used to determine the overall grade in the course

IMPORTANT DATES:

Go to: | MATH 670 | Description | Course Material | News |