29 citations · 81 across the 22 of their papers we have counts for
1 paper · 2 filters
Thomas Ehrhard, Antonio Bucciarelli, Alberto Carraro +1
We study the semantics of a resource-sensitive extension of the lambda calculus in a canonical reflexive object of a category of sets and relations, a relational version of Scott's…