9 citations · 31 across the 12 of their papers we have counts for
1 paper · 2 filters
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
Most often, in a categorical semantics for a programming language, the substitution of terms is expressed by composition and finite products. However this does not deal with the or…