37 citations · 96 across the 19 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Encoding Tight Typing in a Unified Framework
Delia Kesner, Andrés Viso
This paper explores how the intersection type theories of call-by-name (CBN) and call-by-value (CBV) can be unified in a more general framework provided by call-by-push-value (CBPV…
cs.LO2021
A Strong Bisimulation for a Classical Term Calculus
Eduardo Bonelli, Delia Kesner, Andrés Viso
When translating a term calculus into a graphical formalism many inessential details are abstracted away. In the case of -calculus translated to proof-nets, these inessential de…