Publications
Scottish Wikipedia page
On logical frameworks:
On higher-order abstract syntax:
On monads in computer science, such as the (local) state monad:
Last revised on January 3, 2023 at 20:09:13. See the history of this page for a list of all contributions to it.