A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| Tait, W. W., Infinitely Long Terms of Transfinite Type (1963) |
| Tait, W. W., Nested Recursion |
| Takahashi, Moto-o, Ackermann's Model and Recursive Predicates (1968) |
| Takahashi, Moto-o, On Incomparable Cardinals (1968) |
| Takahashi, Moto-o, Recursive Functions of Ordinal Numbers and Levy's Hierarchy (1968) |
| Takahashi, Moto-o, Simple Type Theory of Gentzen Style with the Inference of Extensionality (1968) |
| Takahashi, Moto-o, An Induction Principle in Set Theory I (1969) |
| Takahashi, Moto-o, A System of Simple Type Theory of Gentzen Style with Inference on Extensionality, and the Cut-Elimination in it (1970) |
| Takahashi, Moto-o, Continuous $\lambda - \varepsilon$ Logics (1970) |
| Takahashi, Moto-o, Cut-elimination Theorem and Brouwerian-valued Models for Intuitionistic Type Theory (1971) |