Ryu Hasegawa

According to our database, Ryu Hasegawa authored at least 13 papers between 1991 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Complete Call-by-Value Calculi of Control Operators II: Strong Termination.

Ryu Hasegawa

Log. Methods Comput. Sci., 2021

Semantic Proof of Confluence of the Categorical Reduction System for Linear Logic.

Ryu Hasegawa

CoRR, 2021

2019

A categorical reduction system for linear logic.

Ryu Hasegawa

CoRR, 2019

2017

Complete Call-by-Value Calculi of Control Operators, I.

Ryu Hasegawa

CoRR, 2017

2010

Inhabitation of polymorphic and existential types.

Makoto Tatsuta, Ken-etsu Fujita, Ryu Hasegawa, Hiroshi Nakano

Ann. Pure Appl. Log., 2010

2002

Two applications of analytic functors.

Ryu Hasegawa

Theor. Comput. Sci., 2002

1999

Several Applications of Analytic Functors to Theoretical Computer Science.

Ryu Hasegawa

Proceedings of the Conference on Category Theory and Computer Science, 1999

1997

An Analysis of Divisibility Orderings and Recursive Path Orderings.

Ryu Hasegawa

Proceedings of the Advances in Computing Science, 1997

1996

The Generating Functions of Lambda Terms.

Ryu Hasegawa

Proceedings of the First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, 1996

1995

A Logical Aspect of Parametric Polymorphism.

Ryu Hasegawa

Proceedings of the Computer Science Logic, 9th International Workshop, 1995

1994

Categorical Data Types in Parametric Polymorphism.

Ryu Hasegawa

Math. Struct. Comput. Sci., 1994

Well-Ordering of Algebras and Kruskal's Theorem.

Ryu Hasegawa

Proceedings of the Logic, 1994

1991

Parametricity of Extensionally Collapsed Term Models of Polymorphism and Their Categorical Properties.

Ryu Hasegawa

Proceedings of the Theoretical Aspects of Computer Software, 1991