S. Lenglet

activity

20122022

most citedFaithful (meta-)encodings of programmable strategies into term rewriting systems

5 citations · 12 across the 9 of their papers we have counts for

collaborators

Showing 2022 · cs.LOShow all

1 paper · 2 filters

cs.LO2022

Fully Abstract Encodings of $λ$ -Calculus in HOcore through Abstract Machines

Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet +3

We present fully abstract encodings of the call-by-name and call-by-value $λ$ -calculus into HOcore, a minimal higher-order process calculus with no name restriction. We consider se…

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

Fully Abstract Encodings of $λ$ -Calculus in HOcore through Abstract Machines