The SCEAS System
Navigation Menu

Search the dblp DataBase


Hirofumi Yokouchi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hirofumi Yokouchi
    Completeness of Type Assignment Systems with Intersection, Union, and Type Quantifiers. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:368-379 [Conf]
  2. 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]
  3. 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]
  4. Hirofumi Yokouchi, Teruo Hikita
    A Rewriting System for Categorical Combinators with Multiple Arguments. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1990, v:19, n:1, pp:78-97 [Journal]
  5. 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]
  6. 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]
  7. Hirofumi Yokouchi
    F-Semantics for Type Assignment Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:129, n:1, pp:39-77 [Journal]

  8. Strictness Analysis Algorithms Based on an Inequality System for Lazy Types. [Citation Graph (, )][DBLP]

Search in 0.001secs, Finished in 0.001secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002