2 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
Flavien Breuvart, Marie Kerjean, Simon Mirwasser
Linear Logic refines Intuitionnistic Logic by taking into account the resources used during the proof and program computation. In the past decades, it has been extended to various…