Ryu Hasegawa

Publication Activity (10 Years)

Years Active: 1991-2021
Publications (10 Years): 5

Top Topics

Control Structures

Proof Theoretic

Desirable Properties

Top Venues

Log. Methods Comput. Sci.

Publications

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