- JFP 19 (6): 699722, 2009. c Cambridge University Press 2009 doi:10.1017/S0956796809990219 First published online 7 September 2009
- Relational Parametricity and Control (Extended Abstract) Masahito Hasegawa
- Correction on "Relational Parametricity and Control" Masahito Hasegawa, 9 June 2005
- Axioms for Recursion in Call-by-Value (Extended Abstract)
- Models of Sharing Graphs A Categorical Semantics of let and letrec
- Recursive Programs in the Abstract Masahito Hasegawa
- Categorical Glueing and Logical Predicates for Models of Linear Logic
- Semantics of Linear Continuation-Passing in Call-by-Name
- Electronic Notes in Theoretical Computer Science 69 (2003) URL: http://www.elsevier.nl/locate/entcs/volume69.html 19 pages
- A Terminating and Confluent Linear Lambda Yo Ohta and Masahito Hasegawa
- Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi
- Glueing Algebraic Structures on a 2Category Masahito Hasegawa
- Under consideration for publication in J. Functional Programming 1 Girard Translation and Logical Predicates
- Classical Linear Logic of Implications Masahito Hasegawa
- Electronic Notes in Theoretical Computer Science 69 (2003) URL: http://www.elsevier.nl/locate/entcs/volume69.html 19 pages
- Logical Predicates for Intuitionistic Linear Type Theories ?
- Under consideration for publication in Math. Struct. in Comp. Science Classical Linear Logic of Implications
- Linearly Used Effects: Monadic and CPS Transformations into
- Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories
- structures: Categorical
- InProc.FoSSaCS2001, SpringerLectureNotesinComputerScience2030 Axioms for Recursion in CallbyValue
- Models of cyclic structures: knots, term graphs, and recursion 3
- Math. Proc. Camb. Phil. Soc. (2010), 148, 107 c Cambridge Philosophical Society 2009 doi:10.1017/S0305004109002606
- Parameterizations and Fixed-Point Operators on Control Categories
- A general abstract theory for computation involving shared resources is presented. We develop the models of sharing graphs, also known as term graphs, in terms of both
- A quantum double construction in Rel MASAHITO HAS EGAWA
- Types and Models for HigherOrder Action Calculi
- Classical Linear Logic of Implications Masahito Hasegawa
- Publ. RIMS, Kyoto Univ. 40 (2004), 9911014
- Axioms for Recursion in Call-by-Value y Masahito Hasegawa (hassei@kurims.kyoto-u.ac.jp) and
- A general abstract theory for computation involving shared resources is presented. We develop the models of sharing graphs, also known as term graphs, in terms of both
- Decomposing typed lambda calculus into a couple of categorical programming languages
- Semantics of Linear Continuation-Passing in Call-by-Name
- http://journals.cambridge.org Math. Struct. in Comp. Science (2009), vol. 19, pp. 217244. c 2008 Cambridge University Press
- COHERENCE OF THE DOUBLE INVOLUTION ON \LambdaAUTONOMOUS CATEGORIES
- A Sound and Complete Axiomatization of Delimited Continuations
- Linearly Used E ects: Monadic and CPS Transformations into
- Under consideration for publication in Math. Struct. in Comp. Science A quantum double construction in Rel