- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j11 |      | Masahito Hasegawa: A quantum double construction in Rel. Mathematical Structures in Computer Science 22(4): 618-650 (2012) |
| 2010 | ||
| j10 | | |
| 2009 | ||
| j9 | | Keiko Nakata, Masahito Hasegawa: Small-step and big-step semantics for call-by-need. J. Funct. Program. 19(6): 699-722 (2009) |
| j8 | | Masahito Hasegawa: On traced monoidal closed categories. Mathematical Structures in Computer Science 19(2): 217-244 (2009) |
| i2 | | Keiko Nakata, Masahito Hasegawa: Small-step and big-step semantics for call-by-need. CoRR abs/0907.4640 (2009) |
| 2008 | ||
| c15 | | Masahito Hasegawa, Martin Hofmann, Gordon D. Plotkin: Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories. Pillars of Computer Science 2008: 367-385 |
| 2006 | ||
| j7 | | Masahito Hasegawa: Relational Parametricity and Control. Logical Methods in Computer Science 2(3) (2006) |
| c14 | | |
| i1 | | |
| 2005 | ||
| j6 | | Yoshihiko Kakutani, Masahito Hasegawa: Parameterizations and Fixed-Point Operators on Control Categories. Fundam. Inform. 65(1-2): 153-172 (2005) |
| j5 | | Masahito Hasegawa: Classical linear logic of implications. Mathematical Structures in Computer Science 15(2): 323-342 (2005) |
| c13 | | |
| 2004 | ||
| c12 | | |
| 2003 | ||
| j4 | | Yukiyoshi Kameyama, Masahito Hasegawa: A sound and complete axiomatization of delimited continuations. SIGPLAN Notices 38(9): 177-188 (2003) |
| c11 | | Yukiyoshi Kameyama, Masahito Hasegawa: A sound and complete axiomatization of delimited continuations. ICFP 2003: 177-188 |
| c10 | | Yoshihiko Kakutani, Masahito Hasegawa: Parameterizations and Fixed-Point Operators on Control Categories. TLCA 2003: 180-194 |
| 2002 | ||
| j3 | | Masahito Hasegawa: The Uniformity Principle on Traced Monoidal Categories. Electr. Notes Theor. Comput. Sci. 69: 137-155 (2002) |
| j2 | | Masahito Hasegawa, Yoshihiko Kakutani: Axioms for Recursion in Call-by-Value. Higher-Order and Symbolic Computation 15(2-3): 235-264 (2002) |
| c9 | | |
| c8 | | Masahito Hasegawa: Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. FLOPS 2002: 167-182 |
| 2001 | ||
| c7 |  | Masahito Hasegawa: Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. APLAS 2001: 277-288 |
| c6 | | |
| 2000 | ||
| j1 | | Masahito Hasegawa: Girard translation and logical predicates. J. Funct. Program. 10(1): 77-89 (2000) |
| 1999 | ||
| c5 | | |
| 1997 | ||
| c4 | | Andrew Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin: From Action Calculi to Linear Logic. CSL 1997: 78-97 |
| c3 | | Philippa Gardner, Masahito Hasegawa: Types and Models for Higher-Order Action Calculi. TACS 1997: 583-603 |
| c2 | | Masahito Hasegawa: Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi. TLCA 1997: 196-213 |
| 1995 | ||
| c1 | | Masahito Hasegawa: Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages. Category Theory and Computer Science 1995: 200-219 |
| 1 | Andrew Barber | |
| 2 | Philippa Gardner | |
| 3 | Martin Hofmann | |
| 4 | Yoshihiko Kakutani | |
| 5 | Yukiyoshi Kameyama | |
| 6 | Keiko Nakata | |
| 7 | Yo Ohta | |
| 8 | Gordon D. Plotkin |
Data released under the ODC-BY 1.0 license — See also our legal information page