1 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Yll Buzoku
The approach taken by Gheorghiu, Gu and Pym in their paper on giving a base-extension semantics for Intuitionistic Multiplicative Linear Logic is an interesting adaptation of the w…