Strict and sloppy identity in lambda-categorial grammar - Edmondson, Jerold A. (Indiana University Linguistics Club, 1976)