Login / Signup
A direct computational interpretation of second-order arithmetic via update recursion.
Valentin Blot
Published in:
LICS (2022)
Keyphrases
</>
complex objects
higher order
databases
information systems
high order
case study
computational power
pipelined architecture