| |
| 2002 | ||
|---|---|---|
| 7 | EE | Ryu Hasegawa: Two applications of analytic functors. Theor. Comput. Sci. 272(1-2): 113-175 (2002) |
| 1999 | ||
| 6 | EE | 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 | |