| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 8 |      | Makoto Tatsuta, Ken-etsu Fujita, Ryu Hasegawa, Hiroshi Nakano: Inhabitation of polymorphic and existential types. Ann. Pure Appl. Logic 161(11): 1390-1399 (2010) |
| 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: 101 (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 |
| 1 | Ken-etsu Fujita | [8] |
| 2 | Hiroshi Nakano | [8] |
| 3 | Makoto Tatsuta | [8] |
Data released under the ODC-BY 1.0 license — See also our legal information page