1 citations · 1 across the 5 of their papers we have counts for
6 papers
On the Metric Nature of (Differential) Logical Relations
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
Differential logical relations are methods to measure distances between higher-order programs where distances between functional programs are themselves \emph{functions}, relating…
Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction
Kostia Chardonnet, Ugo Dal Lago, Naohiko Hoshino +1
We present an algorithm turning any term of a linear quantum -calculus into a quantum circuit. The essential ingredient behind the proposed algorithm is Girard's geometry of int…
On The Metric Nature of (Differential) Logical Relations
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
Differential logical relations are a method to measure distances between higher-order programs. They differ from standard methods based on program metrics in that differences betwe…
On the Lattice of Program Metrics
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
In this paper we are concerned with understanding the nature of program metrics for calculi with higher-order types, seen as natural generalizations of program equivalences. Some o…
The Geometry of Bayesian Programming
Ugo Dal Lago, Naohiko Hoshino
We give a geometry of interaction model for a typed lambda-calculus endowed with operators for sampling from a continuous uniform distribution and soft conditioning, namely a parad…
Semantics of Higher-Order Quantum Computation via Geometry of Interaction
Ichiro Hasuo, Naohiko Hoshino
While much of the current study on quantum computation employs low-level formalisms such as quantum circuits, several high-level languages/calculi have been recently proposed aimin…