Searching for authors named "Masahito Hasegawa" – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
Glueing Algebraic Structures on a 2-Category
- …Glueing Algebraic Structures on a 2-Category Very Early Draft -- Comments Most Welcome Masahito…
- Add To MetaCart
-
Semantics of linear continuation-passing in call-by-name
- …Semantics of Linear Continuation-Passing in Call-by-Name Masahito Hasegawa 1,2 1 Research…
- Cited by 4 (4 self) – Add To MetaCart
-
Categorical Glueing and Logical Predicates for Models of Linear Logic
- …Categorical Glueing and Logical Predicates for Models of Linear Logic Masahito Hasegawa Research…
- Cited by 5 (3 self) – Add To MetaCart
-
Decomposing Typed Lambda Calculus Into a Couple of Categorical Programming Languages
- …Decomposing typed lambda calculus into a couple of categorical programming languages Masahito…
- Cited by 6 (0 self) – Add To MetaCart
-
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus
- …-Verlag Berlin Heidelberg 2002 168 Masahito Hasegawa examples are shown to typecheck, while examples which…
- Cited by 7 (4 self) – Add To MetaCart
-
The Uniformity Principle on Traced Monoidal Categories
- …://www.elsevier.nl/locate/entcs/volume69.html 19 pages The Uniformity Principle on Traced Monoidal Categories Masahito Hasegawa Research…
- Cited by 4 (0 self) – Add To MetaCart
-
Girard Translation and Logical Predicates
- …Girard Translation is Full Masahito Hasegawa February 1999 Abstract We show that the Girard…
- Cited by 4 (3 self) – Add To MetaCart
-
Relational parametricity and control
- …, Pages 000–000 S 0000-0000(XX)0000-0 RELATIONAL PARAMETRICITY AND CONTROL MASAHITO HASEGAWA Research…
- Cited by 5 (0 self) – Add To MetaCart
-
Logical Predicates for Intuitionistic Linear Type Theories
- …Logical Predicates for Intuitionistic Linear Type Theories ? Masahito Hasegawa RIMS, Kyoto…
- Cited by 9 (4 self) – Add To MetaCart
-
Models of Sharing Graphs: A Categorical Semantics of let and letrec
- …Models of Sharing Graphs A Categorical Semantics of let and letrec Masahito Hasegawa Doctor…
- Cited by 54 (8 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
