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