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 (2020)
• Nexus Authorization Logic (NAL) Logical Results (2012)
• Strict and Lazy Semantics for Effects (2018)

You can also find them ordered by Research Area.

Here's Five-Minute Monad Madness!

Site proudly generated by Hakyll