Bart Jacobs

• Categorical logic and type theory
• Formal Methods for Open Object-Based Distributed Systems V
• Foundations of Software Science and Computation Structures
• The Grand Spring Hunt
• Boom-Krekelenberg
• Introduction to Coalgebra
• Origins of a Creole
• Rumst-Molenveld
• Uiterst vertrouwelijk