Login / Signup

A Log-Sensitive Encoding of Turing Machines in the λ-Calculus.

Beniamino AccattoliUgo Dal LagoGabriele Vanoni
Published in: CoRR (2023)
Keyphrases