Bart Jacobs profile picture

Bart Jacobs

Is this your author profile? Create an account to customize it!

Stand Alone

Categorical logic and type theory
The Grand Spring Hunt
Formal Methods for Open Object-Based Distributed Systems V
Origins of a Creole The History of Papiamentu and Its African Ties
Origins of a Creole
Introduction to Coalgebra: Towards Mathematics of States and Observation
Mastering MVVM with Swift: Updated for Xcode 9 and Swift 4
Introduction to Coalgebra
Introduction to Coalgebra Towards Mathematics of States and Observation
Mastering Core Data with Swift: Updated for Xcode 9 and Swift 4
Formal Methods for Open Object-Based Distributed Systems V
Formal Methods for Open Object-Based Distributed Systems V
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Foundations of Software Science and Computation Structures
Introduction To Coalgebra

See All