85 citations · 85 across the 3 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2018
Circuits via topoi
Arnaud Spiwack
Leveraging topos theory a semantics can be given to sequential circuits where time-sensitive gates, such as unit delay, are treated uniformly with combinational gates. Both kinds o…
cs.LO2015
The tree machine
Arnaud Spiwack
A variant of Turing machines is introduced where the tape is replaced by a single tree which can be manipulated in a style akin to purely functional programming. This yields two be…
cs.LO2015
Notes on axiomatising Hurkens's Paradox
Arnaud Spiwack
An axiomatisation of Hurkens's paradox in dependent type theory is given without assuming any impredicative feature of said type theory.