作者: Gordon Plotkin

Gordon Plotkin & Colin P. Stirling: Proof, Language, and Interaction – Essays in Honour of Robin Milner

Yves Bertot & Gerard Huet: From Semantics to Computer Science

Gordon Plotkin: Transactions on Computational Systems Biology VI