Bart Jacobs · 9 obras en el catálogoObrasCategorical logic and type theory1999The Grand Spring Hunt2002Formal Methods for Open Object-Based Distributed Systems VFoundations of Software Science and Computation StructuresIIntroduction to CoalgebraIntroduction to CoalgebraOOrigins of a CreoleOrigins of a CreoleUiterst vertrouwelijkRRumst-MolenveldRumst-MolenveldBBoom-KrekelenbergBoom-Krekelenberg