Ryu Hasegawa

14 papers B 1Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2021 J jnl
Complete Call-by-Value Calculi of Control Operators II: Strong Termination.
Log. Methods Comput. Sci.
Ryu Hasegawa
2021 J jnl
Semantic Proof of Confluence of the Categorical Reduction System for Linear Logic.
CoRR
Ryu Hasegawa
2019 J jnl
A categorical reduction system for linear logic.
CoRR
Ryu Hasegawa
2017 J jnl
Complete Call-by-Value Calculi of Control Operators II: Strong Termination.
CoRR
Ryu Hasegawa
2017 J jnl
Complete Call-by-Value Calculi of Control Operators, I.
CoRR
Ryu Hasegawa
2010 J jnl
Inhabitation of polymorphic and existential types.
Ann. Pure Appl. Log.
Makoto Tatsuta, Ken-etsu Fujita, Ryu Hasegawa, Hiroshi Nakano
2002 J jnl
Two applications of analytic functors.
Theor. Comput. Sci.
Ryu Hasegawa
1999 — conf
Several Applications of Analytic Functors to Theoretical Computer Science.
CTCS
Ryu Hasegawa
1997 — conf
An Analysis of Divisibility Orderings and Recursive Path Orderings.
ASIAN
Ryu Hasegawa
1996 — conf
The Generating Functions of Lambda Terms.
DMTCS
Ryu Hasegawa
1995 B conf
A Logical Aspect of Parametric Polymorphism.
CSL
Ryu Hasegawa
1994 J jnl
Categorical Data Types in Parametric Polymorphism.
Math. Struct. Comput. Sci.
Ryu Hasegawa
1994 — conf
Well-Ordering of Algebras and Kruskal's Theorem.
Logic, Language and Computation
Ryu Hasegawa
1991 — conf
Parametricity of Extensionally Collapsed Term Models of Polymorphism and Their Categorical Properties.
TACS
Ryu Hasegawa