Search Results for author:
Found 3 papers, 0 papers with code
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down
The coincidence between initial algebras (IAs) and final coalgebras (FCs) is a phenomenon that underpins various important results in theoretical computer science.
Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
We present a novel sampling framework for probabilistic programs.
Differentiable Causal Computations via Delayed Trace
When $C$ is equipped with a Cartesian differential operator, we construct a differential operator for $St(C)$ using an abstract version of backpropagation through time, a technique from machine learning based on unrolling of functions.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
