- CSB - MetaPress - Google - Bing - Yahoo
 | 2002 | |
|---|---|---|
| 7 |      | Ryu Hasegawa: Two applications of analytic functors. Theor. Comput. Sci. 272(1-2): 113-175 (2002) |
| 1999 | ||
| 6 | | Ryu Hasegawa: Several Applications of Analytic Functors to Theoretical Computer Science. Electr. Notes Theor. Comput. Sci. 29: (1999) |
| 1997 | ||
| 5 |  | Ryu Hasegawa: An Analysis of Divisibility Orderings and Recursive Path Orderings. ASIAN 1997: 283-296 |
| 1995 | ||
| 4 | | Ryu Hasegawa: A Logical Aspect of Parametric Polymorphism. CSL 1995: 291-307 |
| 1994 | ||
| 3 | | Ryu Hasegawa: Well-Ordering of Algebras and Kruskal`s Theorem. Logic, Language and Computation 1994: 133-172 |
| 2 | | Ryu Hasegawa: Categorical Data Types in Parametric Polymorphism. Mathematical Structures in Computer Science 4(1): 71-109 (1994) |
| 1991 | ||
| 1 | | Ryu Hasegawa: Parametricity of Extensionally Collapsed Term Models of Polymorphism and Their Categorical Properties. TACS 1991: 495-512 |