
Universal Semantics for the Stochastic LambdaCalculus
We define sound and adequate denotational and operational semantics for ...
read it

A Study of Policy Gradient on a Class of Exactly Solvable Models
Policy gradient methods are extensively used in reinforcement learning a...
read it

Minimisation in Logical Form
Stonetype dualities provide a powerful mathematical framework for study...
read it

A Distributional Analysis of SamplingBased Reinforcement Learning Algorithms
We present a distributional approach to theoretical analyses of reinforc...
read it

Latent Variable Modelling with Hyperbolic Normalizing Flows
The choice of approximate posterior distributions plays a central role i...
read it

Bisimulation for FellerDynkin Processes
Bisimulation is a concept that captures behavioural equivalence. It has ...
read it

On the Axiomatizability of Quantitative Algebras
Quantitative algebras (QAs) are algebras over metric spaces defined by q...
read it

Free complete Wasserstein algebras
We present an algebraic account of the Wasserstein distances W_p on comp...
read it

Proceedings of the 11th workshop on Quantum Physics and Logic
This volume contains the proceedings of the 11th International Workshop ...
read it

Metrics for Finite Markov Decision Processes
We present metrics for measuring the similarity of states in a finite Ma...
read it

Metrics for Markov Decision Processes with Infinite State Spaces
We present metrics for measuring state similarity in Markov decision pro...
read it
Prakash Panangaden
is this you? claim profile
Professor at McGill University, Visiting Academic at Oxford University from 20102011, Assistant Professor at Cornell University from 19851989