Return to Article Details P-HYPE: A monadic situation semantics for hyperintensional side effects Download Download PDF