теория типов — перевод на английский

теория типов — другие примеры

Теория типа «Элвис жив»?
An «Elvis lives» kind of theory?