David Sprunger

Identifiers

• name variant David Sprunger 0.60 · backfill

Papers (6)

1. A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics cs.LO · 2022 · author #3
2. The differential calculus of causal functions cs.LO · 2019 · author #1
3. Differentiable Causal Computations via Delayed Trace cs.LO · 2019 · author #1
4. Quantitative bisimulations using coreflections and open morphisms cs.LO · 2018 · author #4
5. Neural Nets via Forward State Transformation and Backward Loss Transformation cs.NE · 2018 · author #2
6. Eigenvalues and Transduction of Morphic Sequences: Extended Version cs.FL · 2014 · author #1

Mentions

• 2201.10456 #3 · arxiv_oai · confidence 0.70 David Sprunger

Frequent Coauthors

• Bart Jacobs 2 shared papers
• Shin-ya Katsumata 2 shared papers
• Dan R. Ghica 1 shared papers
• George Kaye 1 shared papers
• Ichiro Hasuo 1 shared papers
• J\'er\'emy Dubut 1 shared papers
• J\"org Endrullis 1 shared papers
• Lawrence S. Moss 1 shared papers
• William Tune 1 shared papers