7 citations · 25 across the 13 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…