Search the dblp DataBase

Publications of Author

1. Masahito Hasegawa
   Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. [Citation Graph (0, 0)][DBLP]
   APLAS, 2001, pp:277-288 [Conf]
   
2. Andrew Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin
   From Action Calculi to Linear Logic. [Citation Graph (0, 0)][DBLP]
   CSL, 1997, pp:78-97 [Conf]
   
3. Masahito Hasegawa
   Classical Linear Logic of Implications. [Citation Graph (0, 0)][DBLP]
   CSL, 2002, pp:458-472 [Conf]
   
4. Masahito Hasegawa
   Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1995, pp:200-219 [Conf]
   
5. Masahito Hasegawa
   Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2002, pp:167-182 [Conf]
   
6. Masahito Hasegawa
   Semantics of Linear Continuation-Passing in Call-by-Name. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2004, pp:229-243 [Conf]
   
7. Masahito Hasegawa, Yoshihiko Kakutani
   Axioms for Recursion in Call-by-Value. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2001, pp:246-260 [Conf]
   
8. Yukiyoshi Kameyama, Masahito Hasegawa
   A sound and complete axiomatization of delimited continuations. [Citation Graph (0, 0)][DBLP]
   ICFP, 2003, pp:177-188 [Conf]
   
9. Masahito Hasegawa
   Relational Parametricity and Control. [Citation Graph (0, 0)][DBLP]
   LICS, 2005, pp:72-81 [Conf]
   
10. Yo Ohta, Masahito Hasegawa
    A Terminating and Confluent Linear Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    RTA, 2006, pp:166-180 [Conf]
    
11. Philippa Gardner, Masahito Hasegawa
    Types and Models for Higher-Order Action Calculi. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:583-603 [Conf]
    
12. Masahito Hasegawa
    Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi. [Citation Graph (0, 0)][DBLP]
    TLCA, 1997, pp:196-213 [Conf]
    
13. Masahito Hasegawa
    Logical Predicates for Intuitionistic Linear Type Theories. [Citation Graph (0, 0)][DBLP]
    TLCA, 1999, pp:198-212 [Conf]
    
14. Yoshihiko Kakutani, Masahito Hasegawa
    Parameterizations and Fixed-Point Operators on Control Categories. [Citation Graph (0, 0)][DBLP]
    TLCA, 2003, pp:180-194 [Conf]
    
15. Masahito Hasegawa
    The Uniformity Principle on Traced Monoidal Categories. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
    
16. Yoshihiko Kakutani, Masahito Hasegawa
    Parameterizations and Fixed-Point Operators on Control Categories. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:65, n:1-2, pp:153-172 [Journal]
    
17. Masahito Hasegawa
    Girard translation and logical predicates. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2000, v:10, n:1, pp:77-89 [Journal]
    
18. Masahito Hasegawa, Yoshihiko Kakutani
    Axioms for Recursion in Call-by-Value. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2002, v:15, n:2-3, pp:235-264 [Journal]
    
19. Masahito Hasegawa
    Relational Parametricity and Control. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2006, v:2, n:3, pp:- [Journal]
    
20. Masahito Hasegawa
    Classical linear logic of implications. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2005, v:15, n:2, pp:323-342 [Journal]
    
21. Masahito Hasegawa
    Relational Parametricity and Control [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
    
22. 
    Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories. [Citation Graph (, )][DBLP]
    
    
23. 
    Small-step and big-step semantics for call-by-need [Citation Graph (, )][DBLP]