Parametricity of Extensionally Collapsed Term Models of Polymorphism and Their Categorical Properties. - Ryu Hasegawa (TACS, 1991)

Well-Ordering of Algebras and Kruskal's Theorem. - Ryu Hasegawa (Logic, Language and Computation, 1994)

Categorical Data Types in Parametric Polymorphism. - Ryu Hasegawa (Math. Struct. Comput. Sci., 1994)

A Logical Aspect of Parametric Polymorphism. - Ryu Hasegawa (CSL, 1995)

The Generating Functions of Lambda Terms. - Ryu Hasegawa (DMTCS, 1996)

An Analysis of Divisibility Orderings and Recursive Path Orderings. - Ryu Hasegawa (ASIAN, 1997)

Several Applications of Analytic Functors to Theoretical Computer Science. - Ryu Hasegawa (CTCS, 1999)

Two applications of analytic functors. - Ryu Hasegawa (Theor. Comput. Sci., 2002)

Inhabitation of polymorphic and existential types. - Makoto Tatsuta; Ken-etsu Fujita; Ryu Hasegawa; Hiroshi Nakano (Ann. Pure Appl. Log., 2010)

Complete Call-by-Value Calculi of Control Operators, I. - Ryu Hasegawa (CoRR, 2017)

A categorical reduction system for linear logic. - Ryu Hasegawa (CoRR, 2019)

Semantic Proof of Confluence of the Categorical Reduction System for Linear Logic. - Ryu Hasegawa (CoRR, 2021)

Complete Call-by-Value Calculi of Control Operators II: Strong Termination. - Ryu Hasegawa (Log. Methods Comput. Sci., 2021)