Author: "Katsumata, Shin-ya" / Publisher: acm - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Katsumata, Shin-ya"' showing total 6 results

Start Over Author "Katsumata, Shin-ya" Publisher acm

6 results on '"Katsumata, Shin-ya"'

1. Interaction Laws of Monads and Comonads

Author: Katsumata, Shin-ya, primary, Rivas, Exequiel, additional, and Uustalu, Tarmo, additional
Published: 2020
Full Text: View/download PDF

2. Relational differential dynamic logic

Author: Kolčák, Juraj, primary, Hasuo, Ichiro, additional, Dubut, Jérémy, additional, Katsumata, Shin-ya, additional, Sprunger, David, additional, and Yamada, Akihisa, additional
Published: 2019
Full Text: View/download PDF

3. A semantic account of metric preservation

Author: Azevedo de Amorim, Arthur, primary, Gaboardi, Marco, additional, Hsu, Justin, additional, Katsumata, Shin-ya, additional, and Cherigui, Ikram, additional
Published: 2017
Full Text: View/download PDF

4. Combining effects and coeffects via grading

Author: Gaboardi, Marco, primary, Katsumata, Shin-ya, additional, Orchard, Dominic, additional, Breuvart, Flavien, additional, and Uustalu, Tarmo, additional
Published: 2016
Full Text: View/download PDF

5. Parametric effect monads and semantics of effect systems

Author: Katsumata, Shin-ya, primary
Published: 2014
Full Text: View/download PDF

6. Algebraic fusion of functions with an accumulating parameter and its improvement

Author: Katsumata, Shin-ya, primary and Nishimura, Susumu, additional
Published: 2006
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results