32 citations · 72 across the 18 of their papers we have counts for
1 paper · 2 filters
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…