Masahito Hasegawa - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 30 from 30

2022

A special issue on categorical algebras and computation in celebration of John Power's 60th birthday, part IIMasahito Hasegawa, Stephen Lack, Guy McCusker. mscs, 32(4):348, April 2022. [doi]

2021

A special issue on categorical algebras and computation in celebration of John Power's 60th birthday, part IMasahito Hasegawa, Stephen Lack, Guy McCusker. mscs, 31(7):746-747, 2021. [doi]

2018

Diagrammatic methods for linear and nonlinear systems (NII Shonan Meeting 2018-18)Dan R. Ghica, Masahito Hasegawa, Pawel Sobocinski 0002. shonan-reports, 2018, 2018. [doi]

2012

A quantum double construction in RelMasahito Hasegawa. mscs, 22(4):618-650, 2012. [doi]

2010

Bialgebras in RelMasahito Hasegawa. ENTCS, 265:337-350, 2010. [doi]

2009

On traced monoidal closed categoriesMasahito Hasegawa. mscs, 19(2):217-244, 2009. [doi]

Small-step and big-step semantics for call-by-needKeiko Nakata, Masahito Hasegawa. JFP, 19(6):699-722, 2009. [doi]

2008

Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal CategoriesMasahito Hasegawa, Martin Hofmann, Gordon D. Plotkin. birthday 2008: 367-385 [doi]

2006

Relational Parametricity and ControlMasahito Hasegawa. lmcs, 2(3), 2006. [doi]

A Terminating and Confluent Linear Lambda CalculusYo Ohta, Masahito Hasegawa. RTA 2006: 166-180 [doi]

2005

Classical linear logic of implicationsMasahito Hasegawa. mscs, 15(2):323-342, 2005. [doi]

Relational Parametricity and ControlMasahito Hasegawa. lics 2005: 72-81 [doi]

Parameterizations and Fixed-Point Operators on Control CategoriesYoshihiko Kakutani, Masahito Hasegawa. FUIN, 65(1-2):153-172, 2005. [doi]

2004

Semantics of Linear Continuation-Passing in Call-by-NameMasahito Hasegawa. FLOPS 2004: 229-243 [doi]

2003

Parameterizations and Fixed-Point Operators on Control CategoriesYoshihiko Kakutani, Masahito Hasegawa. tlca 2003: 180-194 [doi]

A sound and complete axiomatization of delimited continuationsYukiyoshi Kameyama, Masahito Hasegawa. SIGPLAN, 38(9):177-188, 2003. [doi]

A sound and complete axiomatization of delimited continuationsYukiyoshi Kameyama, Masahito Hasegawa. ICFP 2003: 177-188 [doi]

2002

Classical Linear Logic of ImplicationsMasahito Hasegawa. csl 2002: 458-472 [doi]

Axioms for Recursion in Call-by-ValueMasahito Hasegawa, Yoshihiko Kakutani. lisp, 15(2-3):235-264, 2002.

Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda CalculusMasahito Hasegawa. FLOPS 2002: 167-182 [doi]

The Uniformity Principle on Traced Monoidal CategoriesMasahito Hasegawa. ENTCS, 69:137-155, 2002. [doi]

2001

Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda CalculusMasahito Hasegawa. aplas 2001: 277-288

Axioms for Recursion in Call-by-ValueMasahito Hasegawa, Yoshihiko Kakutani. fossacs 2001: 246-260 [doi]

2000

Girard translation and logical predicatesMasahito Hasegawa. JFP, 10(1):77-89, 2000.

1999

Logical Predicates for Intuitionistic Linear Type TheoriesMasahito Hasegawa. tlca 1999: 198-212 [doi]

1997

From Action Calculi to Linear LogicAndrew Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin. csl 1998: 78-97

Types and Models for Higher-Order Action CalculiPhilippa Gardner, Masahito Hasegawa. tacs 1997: 583-603

Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda CalculiMasahito Hasegawa. tlca 1997: 196-213

Models of sharing graphs : a categorical semantics of let and letrecMasahito Hasegawa. PhD thesis, University of Edinburgh, UK, 1997. [doi]

1995

Decomposing Typed Lambda Calculus into a Couple of Categorical Programming LanguagesMasahito Hasegawa. ctcs 1995: 200-219

Sign in or sign up to see more results.

runs on WebDSL