author : John C. Reynolds

Books

• Algebraic Methods in Semantics. 1985, with Maurice Nivat

Short works

• Intuitionistic reasoning about shared mutable data structure. 2000. (In Millennial Perspectives in Computer Science )
• What do types mean? -- from intrinsic to extrinsic semantics. 2003. (In Programming Methodology )