The Atlantic Excerpt from ideas making computers

The idea was to partition formal languages into multiple levels or types. Each level could make reference to levels below, but not to their own or higher levels. This resolved self-referential paradoxes by, in effect, banning self-reference. (This solution was not popular with logicians, but it did influence computer science — most modern computer languages have features inspired by type theory.)

Compare: Living Flame of Love, Fray John of The Cross, 16th Century Discalced Carmelite Mystic, edited by E. Allison Peers, (Doubleday Image Books, 1962).