Dirk Pattinson is a mathematician cum computer scientist at the A.N.U.
Pattison’s research interests include:
modal logics, in partiular coalgebraic semantics, automated reasoning
domain theory, in particular computation over continuous data
formal logic and category theory in general
On the theory of coalgebras:
Last revised on August 25, 2023 at 11:26:42. See the history of this page for a list of all contributions to it.