Hirofumi Yokouchi

According to our database, Hirofumi Yokouchi authored at least 8 papers between 1986 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Syllabus Mining for Faculty Development in Science and Engineering Courses.

Michiko Yasukawa, Hirofumi Yokouchi, Koichi Yamazaki

Proceedings of the 8th International Congress on Advanced Applied Informatics, 2019

2008

Strictness Analysis Algorithms Based on an Inequality System for Lazy Types.

Hirofumi Yokouchi

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

1998

Completeness of Type Assignment Systems with Intersection, Union, and Type Quantifiers.

Hirofumi Yokouchi

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

1995

Embedding a Second Order Type System into an Intersection Type System

Hirofumi Yokouchi

Inf. Comput., March, 1995

1994

F-Semantics for Type Assignment Systems.

Hirofumi Yokouchi

Theor. Comput. Sci., 1994

1990

A Rewriting System for Categorical Combinators with Multiple Arguments.

Hirofumi Yokouchi, Teruo Hikita

SIAM J. Comput., 1990

1989

Church-Rosser Theorem for a Rewriting System on Categorical Combinators.

Hirofumi Yokouchi

Theor. Comput. Sci., 1989

1986

Retraction Map Categories and Their Applications to the Construction of Lambda Calculus Models

Hirofumi Yokouchi

Inf. Control., 1986