Hirofumi Yokouchi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Strictness Analysis Algorithms Based on an Inequality System for Lazy Types Functional and Logic Programming	2008-04-11	Paper
Completeness of type assignment systems with intersection, union, and type quantifiers Theoretical Computer Science	2002-03-03	Paper
scientific article; zbMATH DE number 1392297 (Why is no real title available?)	2000-01-24	Paper
scientific article; zbMATH DE number 1361534 (Why is no real title available?)	1999-11-10	Paper
Embedding a second-order type system into an intersection type system Information and Computation	1995-07-06	Paper
\(F\)-semantics for type assignment systems Theoretical Computer Science	1994-07-31	Paper
A Rewriting System for Categorical Combinators with Multiple Arguments SIAM Journal on Computing	1990-01-01	Paper
Church-Rosser theorem for a rewriting system on categorical combinators Theoretical Computer Science	1989-01-01	Paper
Retraction map categories and their applications to the construction of lambda calculus models Information and Control	1986-01-01	Paper
scientific article; zbMATH DE number 3940711 (Why is no real title available?)	1985-01-01	Paper

Research outcomes over time

This page was built for person: Hirofumi Yokouchi