Login / Signup
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines.
Malgorzata Biernacka
Dariusz Biernacki
Sergueï Lenglet
Piotr Polesiuk
Damien Pous
Alan Schmitt
Published in:
CoRR (2022)
Keyphrases
</>
high level
real world
higher level
data sets
state machines
multiscale
low level
temporal reasoning