## Authors

• 1 publication
• 1 publication
• 8 publications
10/17/2021

### Category-theoretical Semantics of the Description Logic ALC (extended version)

Category theory can be used to state formulas in First-Order Logic witho...
11/25/2002

### Monadic Style Control Constructs for Inference Systems

Recent advances in programming languages study and design have establish...
01/28/2020

Monads are a useful tool for structuring effectful features of computati...
08/25/2021

### Latent Effects for Reusable Language Components: Extended Version

The development of programming languages can be quite complicated and co...
11/30/2020

### The costructure-cosemantics adjunction for comodels for computational effects

It is well established that equational algebraic theories, and the monad...
04/17/2019