長谷川 真人  Hasegawa Masahito

Compositionality

巻: 5 ページ: 10-10

10.32408/compositionality-5-10

Theory and Applications of Categories

巻: 39 ページ: 804-823

Electronic Notes in Theoretical Informatics and Computer Science

巻: Volume 1 - Proceedings of... ページ: 1-19

10.46298/entics.10338

Electronic Proceedings in Theoretical Computer Science

巻: 353 ページ: 94-108

10.4204/eptcs.353.5

Electronic Proceedings in Theoretical Computer Science

巻: 292 ページ: 31-42

10.4204/eptcs.292.3

Theory and Applications of Categories

巻: 33 ページ: 1145-1157

Electronic Proceedings in Theoretical Computer Science

巻: 238 ページ: 54-63

10.4204/eptcs.238.6

Theory and Applications of Categories

巻: Vol.28(7) ページ: 206-212

http://www.tac.mta.ca/tac/volumes/28/7/28-07abs.html

Mathematical Structures in Computer Science

巻: Vol.22(4) 号: 4 ページ: 618-650

10.1017/s0960129511000703

120004873597

Mathematical Proceedings of the Cambridge Philosophical Society 148(1)

ページ: 107-109

日本数学会秋季総合分科会総合講演・企画特別講演 アブストラクト

ページ: 37-49

Electronic Notes in Theoretical Computer Science Vol.265

ページ: 337-359

Electronic Notes in Theoretical Computer Science

巻: 265 ページ: 337-359

In Mathematical Proceedings of Cambridge Philosophical Society volume 148

ページ: 107-109

Mathematical Proceedings of the Cambridge Philosophical Society Vol.148, No.1

ページ: 107-109

Mathematical Proceedings of Cambridge Philosophical Society 148

ページ: 107-109

Journal of Functional Programming 19(6)

ページ: 699-722

Mathematical Structures in Computer Science Vol.19, No.2

ページ: 217-224

Journal of Functional Programming Vol.19, No.6

ページ: 699-722

Mathematical Structures in Computer Science 19(2)

ページ: 217-244

Mathemtical Struetures in Computer Science (印刷中掲載確定)

Lecture Notes in Computer Science 4800

ページ: 367-385

数学 59

ページ: 180-191

数学 59(2)

ページ: 180-191

130004558827

Theory and Applications of Categories 17

ページ: 17-29

Theory and Applications of Categories 17・2

ページ: 17-29

Logical methods in Computer Science. 2

ページ: 1-22

Logical Methods in Computer Science 2

ページ: 1-22

Theory and Applications of Categories 17(2)

ページ: 17-29

Springer Lecture Notes in Computer Science 4098

ページ: 166-180

Logical Methods in Computer Science 2(3:3)

ページ: 1-22

Theory and Applications of Categories 17

ページ: 17-29

Mathematical Structures in Computer Science 15(2)

ページ: 323-342

20th Annual IEEE Symposium on Logic in Computer Science

ページ: 72-81

Mathematical Structures in Computer Science 15

ページ: 323-342

Proceedings of 20th Annual IEEE Symposium on Logic in Computer Science

ページ: 72-81

Springer Lecture Notes in Computer Science 2998

ページ: 229-243

Publications of the Research Institue for Mathematical Sciences 40(3)

ページ: 991-1014

Publications of the Research Institute for Mathematical Sciences 40(3)

ページ: 991-1014

110001050933

Springer Lecture Notes in Computer Science 2994

ページ: 229-243

Mathematical Structures in Computer Science (In printing)

Theory and Applications of Categoriecs (in printing)

Theory and Applications of Categories (In printing)

Fundamenta Informaticae (in printing)

Mathematical Structures in Computer Science (in printing)

Fundamenta Informalicae (in printing)

Theory and Applications of Categories (in printing)

Mathematical Structures in Computer Science (in printing)