Embedding a second-order type system into an intersection type system
- Hirofumi Yokouchi
- 1995
- Information and Computation
Publications
4 results for Hirofumi Yokouchi
F-semantics for type assignment systems
- Hirofumi Yokouchi
- 1994
- Theoretical Computer Science
Rewriting system for categorical combinators with multiple arguments
- Hirofumi Yokouchi
- Teruo Hikita
- 1990
- SIAM Journal on Computing
Church-Rosser theorem for a rewriting system on categorial combinators
- Hirofumi Yokouchi
- 1989
- Theoretical Computer Science