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