Naohiko Hoshino

From MaRDI portal
Person:345710

Available identifiers

zbMath Open hoshino.naohikoMaRDI QIDQ345710

List of research outcomes





PublicationDate of PublicationType
The geometry of Bayesian programming2024-12-19Paper
On the lattice of program metrics2024-10-21Paper
The geometry of Bayesian programming2022-05-17Paper
Partial traces on additive categories2022-05-03Paper
Memoryful geometry of interaction2018-04-23Paper
Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects2017-05-16Paper
Semantics of higher-order quantum computation via geometry of interaction2016-12-02Paper
Memoryful geometry of interaction. II: Recursion and adequacy2016-10-24Paper
A Representation Theorem for Unique Decomposition Categories2016-07-08Paper
A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy2011-05-19Paper
Linear Realizability2009-03-05Paper

Research outcomes over time

This page was built for person: Naohiko Hoshino

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:345710&oldid=6619215"
Powered by MediaWiki