Basic Simple Type Theory door J. Roger Hindley