Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Teaching
[go: Go Back, main page]
 

Corso di Fondamenti Logici, Laurea Specialistica in Informatica, 2007/2008


This page is about the part of the course I will be giving on Type Systems. For information on the rest of the course, see the main course page.

Pasted Graphic 1
The course is based on the textbook Types and Programming Languages, by Benjamin Pierce.

Announcements

The course of Thursday, March 27 is cancelled.

Slides
  1. Introduction (course of 2008.02.28) Printable version
  2. Arithmetic Expressions (course of 2008.02.28) Printable version
  3. Typed Arithmetic Expressions (courses of 2008.02.28 and 2008.02.29) Printable version
  4. More on Induction (course of 2008.03.06) Printable version
  5. Lambda Calculus (courses of 2008.03.06 and 2008.03.07) Printable version