Masahito Hasegawa

	2010
27		Masahito Hasegawa: Bialgebras in Rel. Electr. Notes Theor. Comput. Sci. 265: 337-350 (2010)
	2009
26		Keiko Nakata, Masahito Hasegawa: Small-step and big-step semantics for call-by-need CoRR abs/0907.4640: (2009)
25		Keiko Nakata, Masahito Hasegawa: Small-step and big-step semantics for call-by-need. J. Funct. Program. 19(6): 699-722 (2009)
24		Masahito Hasegawa: On traced monoidal closed categories. Mathematical Structures in Computer Science 19(2): 217-244 (2009)
	2008
23		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
22		Yo Ohta, Masahito Hasegawa: A Terminating and Confluent Linear Lambda Calculus. RTA 2006: 166-180
21		Masahito Hasegawa: Relational Parametricity and Control CoRR abs/cs/0606072: (2006)
20		Masahito Hasegawa: Relational Parametricity and Control. Logical Methods in Computer Science 2(3): (2006)
	2005
19		Masahito Hasegawa: Relational Parametricity and Control. LICS 2005: 72-81
18		Yoshihiko Kakutani, Masahito Hasegawa: Parameterizations and Fixed-Point Operators on Control Categories. Fundam. Inform. 65(1-2): 153-172 (2005)
17		Masahito Hasegawa: Classical linear logic of implications. Mathematical Structures in Computer Science 15(2): 323-342 (2005)
	2004
16		Masahito Hasegawa: Semantics of Linear Continuation-Passing in Call-by-Name. FLOPS 2004: 229-243
	2003
15		Yukiyoshi Kameyama, Masahito Hasegawa: A sound and complete axiomatization of delimited continuations. ICFP 2003: 177-188
14		Yoshihiko Kakutani, Masahito Hasegawa: Parameterizations and Fixed-Point Operators on Control Categories. TLCA 2003: 180-194
13		Yukiyoshi Kameyama, Masahito Hasegawa: A sound and complete axiomatization of delimited continuations. SIGPLAN Notices 38(9): 177-188 (2003)
	2002
12		Masahito Hasegawa: Classical Linear Logic of Implications. CSL 2002: 458-472
11		Masahito Hasegawa: Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. FLOPS 2002: 167-182
10		Masahito Hasegawa: The Uniformity Principle on Traced Monoidal Categories. Electr. Notes Theor. Comput. Sci. 69: 137-155 (2002)
9		Masahito Hasegawa, Yoshihiko Kakutani: Axioms for Recursion in Call-by-Value. Higher-Order and Symbolic Computation 15(2-3): 235-264 (2002)
	2001
8		Masahito Hasegawa: Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. APLAS 2001: 277-288
7		Masahito Hasegawa, Yoshihiko Kakutani: Axioms for Recursion in Call-by-Value. FoSSaCS 2001: 246-260
	2000
6		Masahito Hasegawa: Girard translation and logical predicates. J. Funct. Program. 10(1): 77-89 (2000)
	1999
5		Masahito Hasegawa: Logical Predicates for Intuitionistic Linear Type Theories. TLCA 1999: 198-212
	1997
4		Andrew Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin: From Action Calculi to Linear Logic. CSL 1997: 78-97
3		Philippa Gardner, Masahito Hasegawa: Types and Models for Higher-Order Action Calculi. TACS 1997: 583-603
2		Masahito Hasegawa: Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi. TLCA 1997: 196-213
	1995
1		Masahito Hasegawa: Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages. Category Theory and Computer Science 1995: 200-219

Coauthor Index

1	Andrew Barber	[4]
2	Philippa Gardner	[3] [4]
3	Martin Hofmann	[23]
4	Yoshihiko Kakutani	[7] [9] [14] [18]
5	Yukiyoshi Kameyama	[13] [15]
6	Keiko Nakata	[25] [26]
7	Yo Ohta	[22]
8	Gordon D. Plotkin	[4] [23]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page