personal page
GoogleScholar page
On S4 modal logic:
On monads in computer science (as strong monads and commutative monoidal monads):
Last revised on August 23, 2023 at 18:40:54. See the history of this page for a list of all contributions to it.