conf.researchr.org / Naohiko Hoshino

Not registered as user yet

Name: Naohiko Hoshino

Affiliation: Kyoto University

Contributions

LAFI 2019 Author of The Geometry of Bayesian Programming within the LAFI (né PPS)-track
POPL 2016 Author of Memoryful Geometry of Interaction II: Recursion and Adequacy within the Research Papers-track