Hirofumi Yokouchi

Available identifiers

zbMath Open yokouchi.hirofumiMaRDI QIDQ235627

List of research outcomes

Publication	Date of Publication	Type
Strictness Analysis Algorithms Based on an Inequality System for Lazy Types	2008-04-11	Paper
Completeness of type assignment systems with intersection, union, and type quantifiers	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4936136	2000-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q4699352	1999-11-10	Paper
Embedding a second-order type system into an intersection type system	1995-07-06	Paper
\(F\)-semantics for type assignment systems	1994-07-31	Paper
A Rewriting System for Categorical Combinators with Multiple Arguments	1990-01-01	Paper
Church-Rosser theorem for a rewriting system on categorical combinators	1989-01-01	Paper
Retraction map categories and their applications to the construction of lambda calculus models	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3711742	1985-01-01	Paper

Research outcomes over time

This page was built for person: Hirofumi Yokouchi