×
Edit Profile (opens in new tab)

Muroya, Koko

Co-Author Distance
Author ID: muroya.koko Recent zbMATH articles by "Muroya, Koko"
Published as: Muroya, Koko
Videos: carmin.tv
Documents Indexed: 7 Publications since 2014
Co-Authors: 8 Co-Authors with 7 Joint Publications
113 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
4 Ghica, Dan R.
2 Cheung, Steven W. T.
2 Hasuo, Ichiro
2 Hoshino, Naohiko
1 Darvariu, Victor-Alexandru
1 Rowe, Reuben N. S.
1 Sanada, Takahiro
1 Urabe, Natsuki

Serials

1 Logical Methods in Computer Science

Fields

7 Computer science (68-XX)
4 Mathematical logic and foundations (03-XX)
1 Category theory; homological algebra (18-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

5 Publications have been cited 23 times in 14 Documents Cited by ▼ Year ▼
Memoryful geometry of interaction: from coalgebraic components to algebraic effects. Zbl 1394.68062
Hoshino, Naohiko; Muroya, Koko; Hasuo, Ichiro
9
2014
Memoryful geometry of interaction. II: Recursion and adequacy. Zbl 1347.68214
Muroya, Koko; Hoshino, Naohiko; Hasuo, Ichiro
5
2016
The dynamic geometry of interaction machine: a call-by-need graph rewriter. Zbl 1440.68044
Muroya, Koko; Ghica, Dan R.
4
2017
A functional perspective on machine learning via programmable induction and abduction. Zbl 1507.68241
Cheung, Steven; Darvariu, Victor; Ghica, Dan R.; Muroya, Koko; Rowe, Reuben N. S.
3
2018
The dynamic geometry of interaction machine: a token-guided graph rewriter. Zbl 1442.68030
Muroya, Koko; Ghica, Dan R.
2
2019
The dynamic geometry of interaction machine: a token-guided graph rewriter. Zbl 1442.68030
Muroya, Koko; Ghica, Dan R.
2
2019
A functional perspective on machine learning via programmable induction and abduction. Zbl 1507.68241
Cheung, Steven; Darvariu, Victor; Ghica, Dan R.; Muroya, Koko; Rowe, Reuben N. S.
3
2018
The dynamic geometry of interaction machine: a call-by-need graph rewriter. Zbl 1440.68044
Muroya, Koko; Ghica, Dan R.
4
2017
Memoryful geometry of interaction. II: Recursion and adequacy. Zbl 1347.68214
Muroya, Koko; Hoshino, Naohiko; Hasuo, Ichiro
5
2016
Memoryful geometry of interaction: from coalgebraic components to algebraic effects. Zbl 1394.68062
Hoshino, Naohiko; Muroya, Koko; Hasuo, Ichiro
9
2014
all cited Publications top 5 cited Publications
all top 5

Cited by 18 Authors

3 Dal Lago, Ugo
3 Ghica, Dan R.
3 Hoshino, Naohiko
3 Muroya, Koko
2 Faggian, Claudia
2 Hasuo, Ichiro
2 Valiron, Benoît
2 Yoshimizu, Akira
1 Accattoli, Beniamino
1 Atkey, Robert
1 Cheung, Steven W. T.
1 Cho, Kenta
1 Jacobs, Bart
1 Lai, Anna Chiara
1 Pedicini, Marco
1 Piazza, Mario
1 Román, Mario
1 Sprunger, David

Cited in 4 Serials

2 Mathematical Structures in Computer Science
1 Annals of Pure and Applied Logic
1 New Generation Computing
1 Logical Methods in Computer Science

Cited in 5 Fields

12 Computer science (68-XX)
9 Mathematical logic and foundations (03-XX)
3 Category theory; homological algebra (18-XX)
3 Quantum theory (81-XX)
1 Functional analysis (46-XX)

Citations by Year