85 citations · 103 across the 13 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
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.