author : Paul Taylor

Books

• Proofs and Types. 1989, with Jean-Yves Girard, Yves Lafont

Short works

• Capable, Productive, and Satisfied: Some Organizational Patterns for Protecting Productive People. 2000. (In Pattern Languages of Program Design 4 )