6 citations · 6 across the 1 of their papers we have counts for
1 paper
Pierre-Louis Curien, Guillaume Munch-Maccagnoni
We review the close relationship between abstract machines for (call-by-name or call-by-value) lambda-calculi (extended with Felleisen's C) and sequent calculus, reintroducing on t…