Retraction Map Categories and Their Applications to the Construction of Lambda Calculus Models - Hirofumi Yokouchi (Inf. Control., 1986)

Church-Rosser Theorem for a Rewriting System on Categorical Combinators. - Hirofumi Yokouchi (Theor. Comput. Sci., 1989)

A Rewriting System for Categorical Combinators with Multiple Arguments. - Hirofumi Yokouchi; Teruo Hikita (SIAM J. Comput., 1990)

F-Semantics for Type Assignment Systems. - Hirofumi Yokouchi (Theor. Comput. Sci., 1994)

Embedding a Second Order Type System into an Intersection Type System - Hirofumi Yokouchi (Inf. Comput., 1995)

Completeness of type assignment systems with intersection, union, and type quantifiers. - Hirofumi Yokouchi (Theor. Comput. Sci., 2002)

Strictness Analysis Algorithms Based on an Inequality System for Lazy Types. - Hirofumi Yokouchi (FLOPS, 2008)

Syllabus Mining for Faculty Development in Science and Engineering Courses. - Michiko Yasukawa; Hirofumi Yokouchi; Koichi Yamazaki (IIAI-AAI, 2019)