Search

• < Previous
• 1
• Next >

---

From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality

Robert W. J. Furber ; Bart P. F. Jacobs.

C*-algebras form rather general and rich mathematical structures that can be studied with different morphisms (preserving multiplication, or not), and with different properties (commutative, or not). These various options can be used to incorporate various styles of computation (set-theoretic,&nbsp;[&hellip;]

---

Featherweight VeriFast

Bart Jacobs ; Frédéric Vogels ; Frank Piessens.

VeriFast is a leading research prototype tool for the sound modular verification of safety and correctness properties of single-threaded and multithreaded C and Java programs. It has been used as a vehicle for exploration and validation of novel program verification techniques and for industrial&nbsp;[&hellip;]

---

New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic

Bart Jacobs.

Intuitionistic logic, in which the double negation law not-not-P = P fails, is dominant in categorical logic, notably in topos theory. This paper follows a different direction in which double negation does hold. The algebraic notions of effect algebra/module that emerged in theoretical physics form&nbsp;[&hellip;]

---

Relating Apartness and Bisimulation

Herman Geuvers ; Bart Jacobs.

A bisimulation for a coalgebra of a functor on the category of sets can be described via a coalgebra in the category of relations, of a lifted functor. A final coalgebra then gives rise to the coinduction principle, which states that two bisimilar elements are equal. For polynomial functors, this&nbsp;[&hellip;]

---