Edit Profile (opens in new tab) Yokouchi, Hirofumi Co-Author Distance Author ID: yokouchi.hirofumi Published as: Yokouchi, Hirofumi Documents Indexed: 10 Publications since 1985 Co-Authors: 1 Co-Author with 1 Joint Publication 10 Co-Co-Authors Co-Authors 9 single-authored 1 Hikita, Teruo Serials 3 Theoretical Computer Science 1 Information and Control 1 Journal of Information Processing 1 SIAM Journal on Computing 1 Information and Computation Fields 7 Mathematical logic and foundations (03-XX) 7 Computer science (68-XX) 1 Category theory; homological algebra (18-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 8 Publications have been cited 13 times in 12 Documents Cited by ▼ Year ▼ Church-Rosser theorem for a rewriting system on categorical combinators. Zbl 0672.03006 Yokouchi, Hirofumi 3 1989 A rewriting system for categorical combinators with multiple arguments. Zbl 0696.68041 Yokouchi, Hirofumi; Hikita, Teruo 3 1990 \(F\)-semantics for type assignment systems. Zbl 0811.68095 Yokouchi, Hirofumi 2 1994 Syntax and semantics of type assignment systems. Zbl 0935.03025 Yokouchi, Hirofumi 1 1998 Completeness of type assignment systems with intersection, union, and type quantifiers. Zbl 0945.03530 Yokouchi, Hirofumi 1 1998 Embedding a second-order type system into an intersection type system. Zbl 0826.68117 Yokouchi, Hirofumi 1 1995 Completeness of type assignment systems with intersection, union, and type quantifiers. Zbl 0984.68027 Yokouchi, Hirofumi 1 2002 Retraction map categories and their applications to the construction of lambda calculus models. Zbl 0623.03016 Yokouchi, Hirofumi 1 1986 Completeness of type assignment systems with intersection, union, and type quantifiers. Zbl 0984.68027 Yokouchi, Hirofumi 1 2002 Syntax and semantics of type assignment systems. Zbl 0935.03025 Yokouchi, Hirofumi 1 1998 Completeness of type assignment systems with intersection, union, and type quantifiers. Zbl 0945.03530 Yokouchi, Hirofumi 1 1998 Embedding a second-order type system into an intersection type system. Zbl 0826.68117 Yokouchi, Hirofumi 1 1995 \(F\)-semantics for type assignment systems. Zbl 0811.68095 Yokouchi, Hirofumi 2 1994 A rewriting system for categorical combinators with multiple arguments. Zbl 0696.68041 Yokouchi, Hirofumi; Hikita, Teruo 3 1990 Church-Rosser theorem for a rewriting system on categorical combinators. Zbl 0672.03006 Yokouchi, Hirofumi 3 1989 Retraction map categories and their applications to the construction of lambda calculus models. Zbl 0623.03016 Yokouchi, Hirofumi 1 1986 all cited Publications top 5 cited Publications all top 5 Cited by 19 Authors 1 Akama, Yohji 1 Berarducci, Alessandro 1 Bloo, Roel 1 Cirstea, Horatiu 1 Curien, Pierre-Louis 1 Dezani-Ciancaglini, Mariangiola 1 Faure, Germain 1 Hardin, Thérèse 1 Ishihara, Hajime 1 Kirchner, Claude 1 Kurata, Toshihiko 1 Lang, Frédéric 1 Nadathur, Gopalan 1 Rose, Kristoffer Høgsbro 1 Ruiz, Blas 1 Saïbi, Amokrane 1 Urzyczyn, Paweł 1 Wilson, Debra Sue 1 Yokouchi, Hirofumi Cited in 3 Serials 6 Theoretical Computer Science 1 Journal of Automated Reasoning 1 Higher-Order and Symbolic Computation Cited in 3 Fields 9 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 1 Category theory; homological algebra (18-XX) Citations by Year