11 citations · 42 across the 14 of their papers we have counts for
1 paper · 1 filter
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…