857 citations · 17.5k across the 351 of their papers we have counts for
1 paper · 2 filters
Marco Gaboardi, Mauro Piccolo
This paper is about a categorical approach to model a very simple Semantically Linear lambda calculus, named Sll-calculus. This is a core calculus underlying the programming langua…