×
Author ID: yokouchi.hirofumi Recent zbMATH articles by "Yokouchi, Hirofumi"
Published as: Yokouchi, Hirofumi
Documents Indexed: 10 Publications since 1985
Co-Authors: 1 Co-Author with 1 Joint Publication
10 Co-Co-Authors

Co-Authors

9 single-authored
1 Hikita, Teruo

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 13 times in 12 Documents Cited by Year
Church-Rosser theorem for a rewriting system on categorical combinators. Zbl 0672.03006
Yokouchi, Hirofumi
3
1989
A rewriting system for categorical combinators with multiple arguments. Zbl 0696.68041
Yokouchi, Hirofumi; Hikita, Teruo
3
1990
\(F\)-semantics for type assignment systems. Zbl 0811.68095
Yokouchi, Hirofumi
2
1994
Syntax and semantics of type assignment systems. Zbl 0935.03025
Yokouchi, Hirofumi
1
1998
Completeness of type assignment systems with intersection, union, and type quantifiers. Zbl 0945.03530
Yokouchi, Hirofumi
1
1998
Embedding a second-order type system into an intersection type system. Zbl 0826.68117
Yokouchi, Hirofumi
1
1995
Completeness of type assignment systems with intersection, union, and type quantifiers. Zbl 0984.68027
Yokouchi, Hirofumi
1
2002
Retraction map categories and their applications to the construction of lambda calculus models. Zbl 0623.03016
Yokouchi, Hirofumi
1
1986
Completeness of type assignment systems with intersection, union, and type quantifiers. Zbl 0984.68027
Yokouchi, Hirofumi
1
2002
Syntax and semantics of type assignment systems. Zbl 0935.03025
Yokouchi, Hirofumi
1
1998
Completeness of type assignment systems with intersection, union, and type quantifiers. Zbl 0945.03530
Yokouchi, Hirofumi
1
1998
Embedding a second-order type system into an intersection type system. Zbl 0826.68117
Yokouchi, Hirofumi
1
1995
\(F\)-semantics for type assignment systems. Zbl 0811.68095
Yokouchi, Hirofumi
2
1994
A rewriting system for categorical combinators with multiple arguments. Zbl 0696.68041
Yokouchi, Hirofumi; Hikita, Teruo
3
1990
Church-Rosser theorem for a rewriting system on categorical combinators. Zbl 0672.03006
Yokouchi, Hirofumi
3
1989
Retraction map categories and their applications to the construction of lambda calculus models. Zbl 0623.03016
Yokouchi, Hirofumi
1
1986

Citations by Year