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., Nested Recursion |

Tait, W. W., Infinitely Long Terms of Transfinite Type (1963) |

Takahashi, Moto-o, A Proof of Cut-Elimination Theorem in Simple Type-Theory |

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) |