3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2019★ 3 cited
Differentiable Causal Computations via Delayed Trace
David Sprunger, Shin-ya Katsumata
We investigate causal computations taking sequences of inputs to sequences of outputs where the th output depends on the first inputs only. We model these in category theory…
cs.FL2014★ 1 cited
Eigenvalues and Transduction of Morphic Sequences: Extended Version
David Sprunger, William Tune, Jörg Endrullis +1
We study finite state transduction of automatic and morphic sequences. Dekking proved that morphic sequences are closed under transduction and in particular morphic images. We pres…