David Sprunger

Available identifiers

zbMath Open sprunger.davidMaRDI QIDQ265827

List of research outcomes

Publication	Date of Publication	Type
Differentiable causal computations via delayed trace	2024-12-19	Paper
Functorial string diagrams for reverse-mode automatic differentiation	2024-09-25	Paper
Rewriting for monoidal closed categories	2024-05-27	Paper
Relational Differential Dynamic Logic	2022-10-13	Paper
Neural nets via forward state transformation and backward loss transformation	2022-04-29	Paper
Fibrational bisimulations and quantitative reasoning: Extended version	2021-10-21	Paper
Relational differential dynamic logic	2019-10-22	Paper
Differentiable Causal Computations via Delayed Trace	2019-03-04	Paper
Fibrational bisimulations and quantitative reasoning	2018-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4580219	2018-08-13	Paper
A complete logic for behavioural equivalence in coalgebras of finitary set functors	2017-12-01	Paper
A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors	2016-07-15	Paper
Linearization of automatic arrays and weave specifications	2016-04-12	Paper
Eigenvalues and Transduction of Morphic Sequences	2014-10-14	Paper
A Fully Compositional Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics	N/A	Paper

Research outcomes over time

This page was built for person: David Sprunger