Hirofumi Yokouchi Completeness of Type Assignment Systems with Intersection, Union, and Type Quantifiers. [Citation Graph (0, 0)][DBLP] LICS, 1998, pp:368-379 [Conf]

Hirofumi Yokouchi Retraction Map Categories and Their Applications to the Construction of Lambda Calculus Models [Citation Graph (0, 0)][DBLP] Information and Control, 1986, v:71, n:1/2, pp:33-86 [Journal]

Hirofumi Yokouchi Embedding a Second Order Type System into an Intersection Type System [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:117, n:2, pp:206-220 [Journal]

Hirofumi Yokouchi Completeness of type assignment systems with intersection, union, and type quantifiers. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2002, v:272, n:1-2, pp:341-398 [Journal]

Hirofumi Yokouchi Church-Rosser Theorem for a Rewriting System on Categorical Combinators. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1989, v:65, n:3, pp:271-290 [Journal]