B
Bart Jacobs
9 works on record
Works

The Grand Spring Hunt
2002

Categorical logic and type theory
1999

Formal Methods for Open Object-Based Distributed Systems V

Foundations of Software Science and Computation Structures
Uiterst vertrouwelijk
Uiterst vertrouwelijk
2024
Introduction to Coalgebra
Introduction to Coalgebra
Origins of a Creole
Origins of a Creole
Rumst-Molenveld
Rumst-Molenveld
Boom-Krekelenberg
Boom-Krekelenberg