Zobrazeno 1 - 10
of 51
pro vyhledávání: '"Masahito Hasegawa"'
Autor:
Masahito Hasegawa
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 292, Iss Proc. Linearity-TLLA 2018, Pp 31-42 (2019)
We present a translation from Multiplicative Exponential Linear Logic to a simply-typed lambda calculus with cyclic sharing. This translation is derived from a simple observation on the Int-construction on traced monoidal categories. It turns out tha
Externí odkaz:
https://doaj.org/article/53780e27d0ad44c8a609fc202778a5f2
Autor:
Masahito Hasegawa
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 238, Iss Proc. LINEARITY 2016, Pp 54-63 (2017)
The notion of linear exponential comonads on symmetric monoidal categories has been used for modelling the exponential modality of linear logic. In this paper we introduce linear exponential comonads on general (possibly non-symmetric) monoidal categ
Externí odkaz:
https://doaj.org/article/ae5ecf3ae048452c8952d0389600db50
Autor:
Masahito Hasegawa
Publikováno v:
Logical Methods in Computer Science, Vol Volume 2, Issue 3 (2006)
We study the equational theory of Parigot's second-order λμ-calculus in connection with a call-by-name continuation-passing style (CPS) translation into a fragment of the second-order λ-calculus. It is observed that the relational parametricity on
Externí odkaz:
https://doaj.org/article/a1238cc166684f1581445e2df3a7834f
Autor:
MASAHITO HASEGAWA1 hassei@kurims.kyoto-u.ac.jp, LEMAY, JEAN-SIMON PACAUD2 js.lemay@mq.edu.au
Publikováno v:
Theory & Applications of Categories. 2023, Vol. 39, p804-823. 20p.
Autor:
MASAHITO HASEGAWA1, LEMAY, JEAN-SIMON P.2
Publikováno v:
Theory & Applications of Categories. 2018, Vol. 33 Issue 32-42, p1145-1157. 13p.
Autor:
Masahito Hasegawa
We present an untyped linear lambda calculus with braids, the corresponding combinatory logic, and the semantic models given by crossed G-sets.
Comment: In Proceedings Linearity&TLLA 2020, arXiv:2112.14305
Comment: In Proceedings Linearity&TLLA 2020, arXiv:2112.14305
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e48d4b72c52235f277f4519f0a9d8e5d
Publikováno v:
Mathematical Structures in Computer Science. 32:348-348
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::360ee95ff7ca88a28a283138a6143270
https://doi.org/10.1017/s0960129522000391
https://doi.org/10.1017/s0960129522000391
Autor:
TAMÁS HAJGATÓ1 hajgato@inf.u-szeged.hu, MASAHITO HASEGAWA2 hassei@kurims.kyoto-u.ac.jp
Publikováno v:
Theory & Applications of Categories. 2013, Vol. 28 Issue 7, p206-212. 7p.
Autor:
HAJGATÓ, TAMÁS1 hajgato@inf.u-szeged.hu, MASAHITO HASEGAWA2 hassei@kurims.kyoto-u.ac.jp
Publikováno v:
Theory & Applications of Categories. 2013, Vol. 28 Issue 2, p206-212. 7p.
Autor:
Masahito Hasegawa
Publikováno v:
Mathematical Structures in Computer Science. 22(4):618-650
We study bialgebras and Hopf algebras in the compact closed categoryRelof sets and binary relations. Various monoidal categories with extra structure arise as the categories of (co)modules of bialgebras and Hopf algebras inRel. In particular, for any
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::30cc2ec56a6d993fd5c7bd5a8853688d
http://hdl.handle.net/2433/159905
http://hdl.handle.net/2433/159905