2 citations · 4 across the 6 of their papers we have counts for
1 paper · 1 filter
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Relational semantics for linear logic is a form of non-idempotent intersection type system, from which several informations on the execution of a proof-structure can be recovered.…