G. Plotkin1946 · 4 obras en el catálogoObrasSemantics of data typesLogical frameworksLogical environmentsProof, language, and interaction