tokens: Il suo sviluppo ha ricevuto impulso dall' opera di Gian-Carlo Rota , che a partire dagli anni 1960 , ha contribuito alla fondazione di teorie unificatrici di ampia portata e di grande chiarezza formale .