Bart Jacobs
Bart Jacobs has written at least 2 books. Their most popular book is Formal Methods for Open Object-Based Distributed Systems V with 0 saves with an average rating of -⭐.
Categorical logic and type theory
ByBart Jacobs
1998 • 760 pages
Bart Jacobs has written at least 2 books. Their most popular book is Formal Methods for Open Object-Based Distributed Systems V with 0 saves with an average rating of -⭐.
1998 • 760 pages