Publications
Here is a list of the papers I have published, ordered by date:- Belief Semantics of Authorization Logic (2013)
- First-Order Logic for Flow-Limited Authorization (2019)
- Nexus Authorization Logic (NAL) Logical Results (2012)
- Strict and Lazy Semantics for Effects (2018)
Here's Five-Minute Monad Madness!