> John C. Reynolds
John C. Reynolds
author : John C. Reynolds
Algebraic Methods in Semantics
Intuitionistic reasoning about shared mutable data structure. 2000.
Millennial Perspectives in Computer Science
What do types mean? -- from intrinsic to extrinsic semantics. 2003.