TYPEN UND OBJEKTE IM PI-KALKÜL TYPEN UND OBJEKTE im Pi-Kalkül verfasst von Eyad Alkassar Seminar zum pi-Kalkül betreut von Andreas Rossberg.