Return to Article Details Painting cows from a type-logical perspective Download Download PDF